The following pages link to (Q2851333):
Displaying 6 items.
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- A Nice labelling for tree-like event structures of degree 3 (Q979077) (← links)
- A Chart Semantics for the Pi-Calculus (Q2864369) (← links)
- A Graph Abstract Machine Describing Event Structure Composition (Q2867884) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Partial Orders, Event Structures and Linear Strategies (Q3637188) (← links)
