Shape analysis for mobile ambients

MaRDI QIDQ2748155zbMATH OpenFDO

Authors Hanne Riis Nielson, Flemming Nielson

Publication date 14 October 2001

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

ambient calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Shape analysis for mobile ambients
• scientific article; zbMATH DE number 1629945
• scientific article; zbMATH DE number 1487853
• M^3: mobility types for mobile processes in mobile ambients
• Flow-sensitive type systems and the ambient calculus

Cited in

(10)

• Flow-sensitive type systems and the ambient calculus
• Dynamic management of capabilities in a network aware coordination language
• A monotone framework for CCS
• Aliasing models for mobile objects
• Nesting analysis of mobile ambients
• scientific article; zbMATH DE number 1629945 (Why is no real title available?)
• scientific article; zbMATH DE number 1953024 (Why is no real title available?)
• Shape analysis for mobile ambients
• Programming Languages and Systems
• Hybrid logical analyses of the ambient calculus

This page was built for publication: Shape analysis for mobile ambients

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