Pages that link to "Item:Q1329198"
From MaRDI portal
The following pages link to A theory of processes with localities (Q1329198):
Displaying 13 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)
