The following pages link to Variations on mobile processes (Q1960530):
Displayed 13 items.
- A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
- A functional presentation of pi calculus (Q865929) (← links)
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← 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)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUS (Q2856009) (← links)
- The λ-calculus in the π-calculus (Q3094164) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)