Minimality and separation results on asynchronous mobile processes
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 131-146
- https://doi.org/10.1007/bfb0055620
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Combinatory formulations of concurrent languagesACM Transactions on Programming Languages and Systems, 1997
- An asynchronous model of locality, failure, and process mobilityPublished by Springer Nature ,1997
- Decoding choice encodingsPublished by Springer Nature ,1996
- On the expressiveness of internal mobility in name-passing calculiPublished by Springer Nature ,1996
- On bisimulations for the asynchronous π-calculusPublished by Springer Nature ,1996
- Objects in the π-CalculusInformation and Computation, 1995
- The chemical abstract machineTheoretical Computer Science, 1992
- The expressive power of parallelismFuture Generation Computer Systems, 1990
- A new implementation technique for applicative languagesSoftware: Practice and Experience, 1979