Subtyping and typing algorithms for mobile ambients

DOI10.1007/3-540-46432-8_25MaRDI QIDQ4508315zbMATH OpenFDO

Authors Pascal Zimmer

Publication date 3 October 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46432-8_25

zbMATH Keywords

ambient calculustype-checking algorithm

Mathematics Subject Classification ID

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

Recommendations

• Flow-sensitive type systems and the ambient calculus
• M^3: mobility types for mobile processes in mobile ambients
• Orderly communication in the ambient calculus.
• scientific article; zbMATH DE number 1927570
• scientific article; zbMATH DE number 2163047

Cited in

(16)

• Flow-sensitive type systems and the ambient calculus
• Typing evolving ambients
• Orderly communication in the ambient calculus.
• A typed encoding of boxed into safe ambients
• Types for the ambient calculus
• A type inference algorithm for secure ambients
• M^3: mobility types for mobile processes in mobile ambients
• Type assignement for mobile objects
• Typed mobile ambients in Maude
• Two Session Typing Systems for Higher-Order Mobile Processes
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 2044504 (Why is no real title available?)
• scientific article; zbMATH DE number 1927570 (Why is no real title available?)
• scientific article; zbMATH DE number 1759632 (Why is no real title available?)
• scientific article; zbMATH DE number 2163047 (Why is no real title available?)
• Types for ambient and process mobility

This page was built for publication: Subtyping and typing algorithms for mobile ambients

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