Bisimulations in the join-calculus
- 1 September 2001
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 266 (1-2) , 569-603
- https://doi.org/10.1016/s0304-3975(00)00283-8
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Jocaml: mobile agents for Objective-CamlPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Bisimulation in name-passing calculi without matchingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Secure implementation of channel abstractionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Authentication primitives and their compilationPublished by Association for Computing Machinery (ACM) ,2000
- Some congruence properties for π-calculus bisimilaritiesTheoretical Computer Science, 1998
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- On the expressiveness of internal mobility in name-passing calculiTheoretical Computer Science, 1998
- Bisimulations in the Join-CalculusPublished by Springer Nature ,1998
- An asynchronous model of locality, failure, and process mobilityPublished by Springer Nature ,1997
- The gamma model and its discipline of programmingScience of Computer Programming, 1990