Pages that link to "Item:Q1589656"

The following pages link to Asynchronous process calculi: The first- and higher-order paradigms (Q1589656):

Displayed 18 items.

• \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) ‎ (← links)
• Locality and interleaving semantics in calculi for mobile processes (Q672123) ‎ (← 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)
• Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) ‎ (← links)
• Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs (Q5505606) ‎ (← links)