A Kleene Analysis of Mobile Ambients
- 12 May 2000
- book chapter
- Published by Springer Nature
- p. 305-319
- https://doi.org/10.1007/3-540-46425-5_20
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Anytime, anywherePublished by Association for Computing Machinery (ACM) ,2000
- Controlling interference in ambientsPublished by Association for Computing Machinery (ACM) ,2000
- Principles of Program AnalysisPublished by Springer Nature ,1999
- Types for mobile ambientsPublished by Association for Computing Machinery (ACM) ,1999
- Scale-Space Theories in Computer VisionPublished by Springer Nature ,1999
- Mobile ambientsPublished by Springer Nature ,1998
- Programming Languages and Systems — ESOP '96Published by Springer Nature ,1996
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- Multivalued logics: a uniform approach to reasoning in artificial intelligenceComputational Intelligence, 1988
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979