A theory of bisimulation for the π-calculus
- 1 February 1996
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 33 (1) , 69-97
- https://doi.org/10.1007/s002360050036
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Functions as processesMathematical Structures in Computer Science, 1992
- Dynamic Congruence vs. Progressing Bisimulation for CCS1Fundamenta Informaticae, 1992
- A calculus of higher order communicating systemsPublished by Association for Computing Machinery (ACM) ,1989
- A Calculus of Communicating Systems with Label PassingDAIMI Report Series, 1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983