The following pages link to Tau laws for pi calculus (Q1884877):
Displaying 10 items.
- On quasi-open bisimulation (Q557789) (← links)
- A schematic axiom for open congruence (Q866141) (← links)
- Axiomatizations for probabilistic finite-state behaviors (Q875517) (← links)
- Fair ambients (Q877172) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
- A thesis for interaction (Q2055962) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Processes, systems \& tests: defining contextual equivalences (Q6649539) (← links)