Ambient Groups and Mobility Types
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 333-347
- https://doi.org/10.1007/3-540-44929-9_25
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Controlling interference in ambientsPublished by Association for Computing Machinery (ACM) ,2000
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Mobility Types for Mobile AmbientsPublished by Springer Nature ,1999
- Validating Firewalls in Mobile AmbientsPublished by Springer Nature ,1999
- Equational Properties of Mobile AmbientsPublished by Springer Nature ,1999
- Mobile ambientsPublished by Springer Nature ,1998
- Control flow analysis for the π-calculusPublished by Springer Nature ,1998
- Region-Based Memory ManagementInformation and Computation, 1997
- Secrecy by typing in security protocolsPublished by Springer Nature ,1997