The following pages link to (Q4813226):
Displaying 28 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- A model of context-dependent component connectors (Q436387) (← links)
- Strand algebras for DNA computing (Q537852) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Inheritance in the join calculus. (Q1426056) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Secure implementation of channel abstractions (Q1854520) (← links)
- Chemical foundations of distributed aspects (Q2002053) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Distributability of mobile ambients (Q2216122) (← links)
- A calculus of branching processes (Q2286743) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- New up-to techniques for weak bisimulation (Q2373744) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Structuring operational semantics: simplification and computation (Q2864160) (← links)
- A parametric calculus for mobile open code (Q2864499) (← links)
- Programming languages for interactive computing (Q2864508) (← links)
- A Formal Environment Model for Multi-Agent Systems (Q2999310) (← links)
- Parallelism, concurrency and distribution in constraint handling rules: A survey (Q4559827) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- (Q5020947) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)
- Bisimulations in the join-calculus (Q5958770) (← links)
- The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
