Abstract interpretation of mobile ambients.

DOI10.1016/S0167-6423(02)00131-4zbMATH Open1047.68080WikidataQ59416358 ScholiaQ59416358MaRDI QIDQ1398673FDOQ1398673

Authors: Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson 

Publication date: 7 August 2003

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

Recommendations

• scientific article; zbMATH DE number 1487853
• scientific article; zbMATH DE number 1629945
• On abstract interpretation of mobile ambients
• scientific article; zbMATH DE number 1832231
• scientific article; zbMATH DE number 1832232

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)

Cited In (13)

• Hybrid logical analyses of the ambient calculus
• Title not available (Why is that?)
• Mobile ambients
• A static analysis for brane calculi providing global occurrence counting information
• Occurrence counting analysis for the pi-calculus
• Information flow security in boundary ambients
• Security boundaries in mobile ambients
• Nesting analysis of mobile ambients
• From flow logic to static type systems for coordination languages
• Abstract interpretation of mobile systems
• On abstract interpretation of mobile ambients
• A Global Occurrence Counting Analysis for Brane Calculi
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1398673)