Abstract Interpretation of Mobile Ambients
- 1 October 1999
- book chapter
- Published by Springer Nature
- p. 134-148
- https://doi.org/10.1007/3-540-48294-6_9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Static Analysis of Processes for No Read-Up and No Write-DownPublished by Springer Nature ,1999
- Scale-Space Theories in Computer VisionPublished by Springer Nature ,1999
- Automatic Determination of Communication Topologies in Mobile SystemsPublished by Springer Nature ,1998
- Mobile ambientsPublished by Springer Nature ,1998
- Control flow analysis for the π-calculusPublished by Springer Nature ,1998
- Abstract interpretation of the π-calculusPublished by Springer Nature ,1997