Towards a unified approach to encodability and separation results for process calculi
- 1 September 2010
- journal article
- Published by Elsevier BV in Information and Computation
- Vol. 208 (9), 1031-1053
- https://doi.org/10.1016/j.ic.2010.05.002
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-CalculusElectronic Notes in Theoretical Computer Science, 2008
- Separation of synchronous and asynchronous communication via testingTheoretical Computer Science, 2007
- Secure implementations of typed channel abstractionsACM SIGPLAN Notices, 2007
- Spi calculus translated to /spl pi/-calculus preserving may-testsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Types for the Ambient CalculusInformation and Computation, 2002
- Mobile ambientsTheoretical Computer Science, 2000
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- On the expressiveness of internal mobility in name-passing calculiTheoretical Computer Science, 1998
- An efficiency preorder for processesActa Informatica, 1992