On bisimulations for the asynchronous π-calculus
- 30 March 1998
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 195 (2) , 291-324
- https://doi.org/10.1016/s0304-3975(97)00223-5
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Some congruence properties for π-calculus bisimilaritiesTheoretical Computer Science, 1998
- Bisimulations for Asynchronous Mobile ProcessesBRICS Report Series, 1996
- The reflexive CHAM and the join-calculusPublished by Association for Computing Machinery (ACM) ,1996
- Decoding choice encodingsPublished by Springer Nature ,1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Functions as processesMathematical Structures in Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- On asynchronous communication semanticsPublished by Springer Nature ,1992
- Barbed bisimulationPublished by Springer Nature ,1992