On encoding pπ in mπ
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Typing and subtyping for mobile processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A partially deadlock-free typed process calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Behavioral equivalence in the polymorphic pi-calculusPublished by Association for Computing Machinery (ACM) ,1997
- The name discipline of uniform receptiveness (extended abstract)Lecture Notes in Computer Science, 1997
- Linearity and the pi-calculusPublished by Association for Computing Machinery (ACM) ,1996
- Graph types for monadic mobile processesPublished by Springer Nature ,1996
- A polymorphic type system for the polyadic π-calculusPublished by Springer Nature ,1995
- Principal typing schemes in a polyadic π-calculusPublished by Springer Nature ,1993
- Types for dyadic interactionPublished by Springer Nature ,1993