Types for ambient and process mobility

DOI10.1017/S0960129508006658zbMath1141.68046OpenAlexW2063091880MaRDI QIDQ5458067

Elio Giovannetti, Mario Coppo, Mariangiola Dezani-Ciancaglini

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)

Related Items (4)

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 ⋮ Types for Role-Based Access Control of Dynamic Web Data ⋮ Mobility control via passports

Cites Work

• Unnamed Item
• A calculus of mobile processes. I
• Mobile ambients
• Resource access control in systems of mobile agents
• A Type Inference Algorithm for Secure Ambients
• Behavioral theory for mobile ambients
• Bisimulation congruences in safe ambients
• Behavioral equivalence in the polymorphic pi-calculus
• The Principal Type-Scheme of an Object in Combinatory Logic

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