Unique fixpoint induction for mobile processes
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- On the decidability of process equivalences for the π-calculusPublished by Springer Nature ,1995
- Complete inference systems for weak bisimulation equivalences in the π-calculusPublished by Springer Nature ,1995
- 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
- A proof system for communicating processes with value-passingFormal Aspects of Computing, 1991
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984