The following pages link to Causality for mobile processes (Q4645219):
Displaying 6 items.
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- A process algebra with distributed priorities (Q1276244) (← links)
- Names of the \(\pi\)-calculus agents handled locally (Q1589648) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)