On the expressiveness of internal mobility in name-passing calculi
- 30 March 1998
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 195 (2), 205-226
- https://doi.org/10.1016/s0304-3975(97)00220-x
Abstract
No abstract availableKeywords
Funding Information
- Hausdorff Center for Mathematics
- Emory Eye Center
- Consiglio Nazionale delle Ricerche
This publication has 16 references indexed in Scilit:
- Some congruence properties for π-calculus bisimilaritiesTheoretical Computer Science, 1998
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- π-Calculus, internal mobility, and agent-passing calculiTheoretical Computer Science, 1996
- A π-calculus with explicit substitutionsTheoretical Computer Science, 1996
- A theory of bisimulation for the π-calculusActa Informatica, 1996
- Algebraic Theories for Name-Passing CalculiInformation and Computation, 1995
- A calculus of mobile processes, IInformation and Computation, 1992
- An efficiency preorder for processesActa Informatica, 1992
- Functions as processesMathematical Structures in Computer Science, 1992
- Testing equivalences for processesTheoretical Computer Science, 1984