Types for ambient and process mobility
From MaRDI portal
Publication:5458067
DOI10.1017/S0960129508006658zbMATH Open1141.68046OpenAlexW2063091880MaRDI QIDQ5458067FDOQ5458067
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
Recommendations
Cites Work
- A calculus of mobile processes. I
- The \(\pi\)-calculus: A theory of mobile processes
- The Principal Type-Scheme of an Object in Combinatory Logic
- Resource access control in systems of mobile agents
- Mobile ambients
- Behavioral equivalence in the polymorphic pi-calculus
- Behavioral theory for mobile ambients
- Bisimulation congruences in safe ambients
- A type inference algorithm for secure ambients
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
- Title not available (Why is that?)
- Mobility control via passports
- Typing evolving ambients
- Access control in mobile ambient calculi: a comparative view
- Title not available (Why is that?)
- Types for role-based access control of dynamic web data
- Title not available (Why is that?)
- 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)
