The following pages link to Variations on mobile processes (Q1960530):
Displayed 6 items.
- A functional presentation of pi calculus (Q865929) (← links)
- Fair ambients (Q877172) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- Testing congruence for mobile processes (Q1599646) (← links)
- Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
- Tau laws for pi calculus (Q1884877) (← links)