Pages that link to "Item:Q1329198"

The following pages link to A theory of processes with localities (Q1329198):

Displaying 28 items.

• Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
• Location equivalence in a parametric setting (Q672708) (← links)
• On performance congruences for process algebras (Q1275822) (← links)
• A theory of processes with localities (Q1329198) (← links)
• Comparing locality and causality based equivalences (Q1342503) (← links)
• Automatizing parametric reasoning on distributed concurrent systems (Q1346610) (← links)
• Dynamic connectors for concurrency (Q1603689) (← links)
• Truly concurrent constraint programming (Q1605181) (← links)
• A format for semantic equivalence comparison (Q1884897) (← links)
• Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
• A calculus of branching processes (Q2286743) (← links)
• Nested-unit Petri nets (Q2423743) (← links)
• A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
• Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines (Q3458151) (← links)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
• Distributed processes and location failures (Q4571978) (← links)
• Extended transition systems for parametric bisimulation (Q4630292) (← links)
• Distribution and locality of concurrent systems (Q4632423) (← links)
• Causality for mobile processes (Q4645219) (← links)
• Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
• (Q5014797) (← links)
• Causality and true concurrency: A data-flow analysis of the Pi-Calculus (Q5096391) (← links)
• Read-write causality (Q5096915) (← links)
• A parametric approach to localities (Q5204352) (← links)
• Proved trees (Q5204353) (← links)
• A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
• Distributed processes and location failures (Q5958774) (← links)
• Store locally, prove globally (Q6605367) (← links)