Types for ambient and process mobility
From MaRDI portal
Publication:5458067
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
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