Pages that link to "Item:Q1589656"
From MaRDI portal
The following pages link to Asynchronous process calculi: The first- and higher-order paradigms (Q1589656):
Displaying 23 items.
- \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Theory of interaction (Q896903) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- Partial confluence of processes and systems of objects (Q1274970) (← links)
- Process calculus based upon evaluation to committed form (Q1276241) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- On transformations of concurrent-object programs (Q1276245) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus (Q1763728) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Variations on mobile processes (Q1960530) (← links)
- The name discipline of uniform receptiveness (Q1960533) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs (Q5505606) (← links)
- Higher-order psi-calculi (Q5740353) (← links)
