Solos in Concert
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 513-523
- https://doi.org/10.1007/3-540-48523-6_48
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- The polyadic π-calculusPublished by Springer Nature ,2006
- A calculus of mobile processes, IPublished by Elsevier ,2004
- The fusion calculus: expressiveness and symmetry in mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On the expressiveness of internal mobility in name-passing calculiTheoretical Computer Science, 1998
- The tau-laws of fusionPublished by Springer Nature ,1998
- Comparing the expressive power of the synchronous and the asynchronous π-calculusPublished by Association for Computing Machinery (ACM) ,1997
- Decoding choice encodingsPublished by Springer Nature ,1996
- The chemical abstract machineTheoretical Computer Science, 1992
- On asynchronous communication semanticsPublished by Springer Nature ,1992
- Barbed bisimulationPublished by Springer Nature ,1992