The following pages link to (Q4260379):
Displaying 10 items.
- \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- A uniform approach to true-concurrency and interleaving semantics for Petri nets (Q1274975) (← links)
- Non-interleaving semantics for mobile processes (Q1285660) (← links)
- A general theory of action languages (Q1286273) (← links)
- Proofs as processes (Q1342245) (← links)
- A theory of bisimulation for the \(\pi\)-calculus (Q1901699) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Robin Milner's Work on Concurrency (Q3178242) (← links)
- Causality for mobile processes (Q4645219) (← links)
