The following pages link to A static view of localities (Q1329199):
Displayed 13 items.
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- Location equivalence in a parametric setting (Q672708) (← links)
- A theory of processes with localities (Q1329198) (← links)
- A static view of localities (Q1329199) (← links)
- Comparing locality and causality based equivalences (Q1342503) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Distribution and locality of concurrent systems (Q4632423) (← links)
- Behavioural equivalence for infinite systems — Partially decidable! (Q4633177) (← links)
- (Q5014797) (← links)
- Distributed processes and location failures (Q5958774) (← links)