A hierarchy of equivalences for asynchronous calculi
- 1 April 2005
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 63 (1) , 131-173
- https://doi.org/10.1016/j.jlap.2004.01.006
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Secure Implementation of Channel AbstractionsInformation and Computation, 2002
- Bisimulations in the join-calculusTheoretical Computer Science, 2001
- Decoding Choice EncodingsInformation and Computation, 2000
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- A foundation for actor computationJournal of Functional Programming, 1997
- A theory of bisimulation for the π-calculusActa Informatica, 1996
- On reduction-based process semanticsTheoretical Computer Science, 1995
- Testing Equivalence for Mobile ProcessesInformation and Computation, 1995
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980