Types for mobile ambients
- 1 January 1999
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A typed language for distributed mobile processes (extended abstract)Published by Association for Computing Machinery (ACM) ,1998
- Typing and subtyping for mobile processesMathematical Structures in Computer Science, 1996
- Linearity and the pi-calculusPublished by Association for Computing Machinery (ACM) ,1996
- A calculus of mobile processes, IInformation and Computation, 1992