On bisimulations for the asynchronous π-calculus
- 1 January 1996
- book chapter
- Published by Springer Nature
- Vol. 195 (2) , 147-162
- https://doi.org/10.1007/3-540-61604-7_53
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An object calculus for asynchronous communicationPublished by Springer Nature ,2006
- A calculus of mobile processes, IPublished by Elsevier ,2004
- 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
- Model checking mobile processesLecture Notes in Computer Science, 1993
- On asynchronous communication semanticsPublished by Springer Nature ,1992
- Barbed bisimulationPublished by Springer Nature ,1992
- ActorsPublished by MIT Press ,1986