Complete inference systems for weak bisimulation equivalences in the π-calculus
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- On Bisimulation in the π-calculusPublished by Springer Nature ,1994
- Characterizing Bisimulation Congruence in the π-CalculusPublished by Springer Nature ,1994
- A Symbolic Semantics for the π-calculusPublished by Springer Nature ,1994
- Proof systems for message-passing process algebrasPublished by Springer Nature ,1993
- A theory of bisimulation for the π-calculusPublished by Springer Nature ,1993
- Testing equivalence for mobile processesPublished by Springer Nature ,1992