On bisimulations for the asynchronous π-calculus
- 30 March 1998
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 195 (2), 291-324
- https://doi.org/10.1016/s0304-3975(97)00223-5
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- 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 encodingsLecture Notes in Computer Science, 1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- A calculus of mobile processes, IInformation and Computation, 1992
- Functions as processesMathematical Structures in Computer Science, 1992
- The chemical abstract machineTheoretical Computer Science, 1992
- On asynchronous communication semanticsLecture Notes in Computer Science, 1992
- Barbed bisimulationLecture Notes in Computer Science, 1992