On abstract interpretation of mobile ambients

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

zbMATH Keywords

Static analysisAbstract interpretationMobile Ambients

Mathematics Subject Classification ID

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