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.
• Publication:4508315

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 Principal Type-Scheme of an Object in Combinatory Logic
• The \(\pi\)-calculus: A theory of mobile processes

Cited in

(12)

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

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)