Pages that link to "Item:Q4867409"
From MaRDI portal
The following pages link to OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES (Q4867409):
Displaying 9 items.
- A theory of processes with durational actions (Q674005) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← 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)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Distributed processes and location failures (Q4571978) (← links)
- Distribution and locality of concurrent systems (Q4632423) (← links)
- Distributed processes and location failures (Q5958774) (← links)
