On abstract interpretation of mobile ambients
From MaRDI portal
Publication:1887169
DOI10.1016/j.ic.2003.06.001zbMath1078.68096OpenAlexW2074638034MaRDI QIDQ1887169
Sergio Maffeis, Francesca Levi
Publication date: 23 November 2004
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2003.06.001
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
A static analysis for brane calculi providing global occurrence counting information ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Information flow security in boundary ambients ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ A typed encoding of boxed into safe ambients ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Flow-sensitive type systems and the ambient calculus
Cites Work
- ``A la Burstall intermittent assertions induction principles for proving inevitability properties of programs
- The gamma model and its discipline of programming
- Mobile ambients
- Typing evolving ambients
- Orderly communication in the ambient calculus.
- Types for the ambient calculus
- Shape analysis for mobile ambients
- Controlling interference in ambients
- Secure safe ambients
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On abstract interpretation of mobile ambients