Types for ambient and process mobility

DOI10.1017/S0960129508006658MaRDI QIDQ5458067zbMATH OpenOpenAlexFDO

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti

Publication date 10 April 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129508006658

zbMATH Keywords

labelled transition system

Mathematics Subject Classification ID

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

Recommendations

• M^3: mobility types for mobile processes in mobile ambients
• Types for the ambient calculus
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Orderly communication in the ambient calculus.
• scientific article; zbMATH DE number 1512630

Cites work

• A calculus of mobile processes. I
• A type inference algorithm for secure ambients
• Behavioral equivalence in the polymorphic pi-calculus
• Behavioral theory for mobile ambients
• Bisimulation congruences in safe ambients
• Mobile ambients
• Resource access control in systems of mobile agents
• The -calculus: A theory of mobile processes
• The Principal Type-Scheme of an Object in Combinatory Logic

Cited in

(12)

• Mobility control via passports
• Typing evolving ambients
• M^3: mobility types for mobile processes in mobile ambients
• Types for role-based access control of dynamic web data
• scientific article; zbMATH DE number 1927570 (Why is no real title available?)
• scientific article; zbMATH DE number 1759481 (Why is no real title available?)
• scientific article; zbMATH DE number 2163047 (Why is no real title available?)
• Logical Mobility and Locality Types
• Types for Proofs and Programs
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Access control in mobile ambient calculi: a comparative view

This page was built for publication: Types for ambient and process mobility

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