scientific article; zbMATH DE number 2163048

MaRDI QIDQ4673435zbMATH OpenFDO

Authors Torben Amtoft, Henning Makholm, J. B. Wells

Publication date 29 April 2005

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1692941
• Programming Languages and Systems
• M^3: mobility types for mobile processes in mobile ambients
• Processes, Terms and Cycles: Steps on the Road to Infinity
• scientific article; zbMATH DE number 2163047

Cited in

(6)

• Flow-sensitive type systems and the ambient calculus
• A typed encoding of boxed into safe ambients
• Name-passing in an ambient-like calculus and its proof using spatial logic
• scientific article; zbMATH DE number 1692941 (Why is no real title available?)
• scientific article; zbMATH DE number 1927570 (Why is no real title available?)
• Hybrid logical analyses of the ambient calculus

This page was built for publication:

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