Mobility Types for Mobile Ambients
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 230-239
- https://doi.org/10.1007/3-540-48523-6_20
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Equational Properties of Mobile AmbientsPublished by Springer Nature ,1999
- Resource Access Control in Systems of Mobile Agents: (Extended Abstract)Electronic Notes in Theoretical Computer Science, 1998
- The SLam calculusPublished by Association for Computing Machinery (ACM) ,1998
- A typed language for distributed mobile processes (extended abstract)Published by Association for Computing Machinery (ACM) ,1998
- Secure information flow in a multi-threaded imperative languagePublished by Association for Computing Machinery (ACM) ,1998
- Mobile ambientsPublished by Springer Nature ,1998
- Global/local subtyping and capability inference for a distributed π-calculusPublished by Springer Nature ,1998
- Secrecy by typing in security protocolsPublished by Springer Nature ,1997
- Localities and failures (extended summary)Lecture Notes in Computer Science, 1994