A theory of bisimulation for the π-calculus
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 127-142
- https://doi.org/10.1007/3-540-57208-2_10
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Applications of the calculus of trees to process description languagesPublished by Springer Nature ,2005
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A calculus of mobile processes, IPublished by Elsevier ,2004
- A theory of bisimulation for the π-calculusPublished by Springer Nature ,1993
- Functions as processesMathematical Structures in Computer Science, 1992
- Dynamic Congruence vs. Progressing Bisimulation for CCS1Fundamenta Informaticae, 1992
- Testing equivalence for mobile processesPublished by Springer Nature ,1992
- Modal logics for mobile processesPublished by Springer Nature ,1991