Abstract interpretation of mobile ambients.

DOI10.1016/S0167-6423(02)00131-4zbMath1047.68080WikidataQ59416358 ScholiaQ59416358MaRDI QIDQ1398673

Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson

Publication date: 7 August 2003

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

ambient calculusobject-oriented languagesconstraint-based formalism

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Nesting analysis of mobile ambients ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Hybrid logical analyses of the ambient calculus ⋮ Information flow security in boundary ambients ⋮ From flow logic to static type systems for coordination languages ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Security boundaries in mobile ambients

This page was built for publication: Abstract interpretation of mobile ambients.