Pages that link to "Item:Q1357807"
From MaRDI portal
The following pages link to Locality based semantics for process algebras (Q1357807):
Displaying 6 items.
- A non-SOS operational semantics for a process algebra (Q293405) (← links)
- Locality and interleaving semantics in calculi for mobile processes (Q672123) (← links)
- A theory of processes with localities (Q1329198) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- Process algebras with localities. (Q2760252) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)