Mobility control via passports

DOI10.1016/j.ic.2007.11.011zbMath1165.68051OpenAlexW2040989861MaRDI QIDQ1012123

Samuel Hym

Publication date: 14 April 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2007.11.011

zbMATH Keywords

observational equivalenceprocess calculusdistributed computationcontrol of agent migrations

Mathematics Subject Classification ID

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

Uses Software

• SafeDpi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adding recursion to Dpi
• A syntactic approach to type soundness
• Towards a behavioural theory of access and mobility control in distributed systems
• safeDpi: a language for controlling mobile code
• A Distributed Pi-Calculus
• Channel dependent types for higher-order mobile processes
• Mobility Control Via Passports
• Controlling interference in ambients
• Barbed bisimulation
• Trustworthy Global Computing
• Types for ambient and process mobility
• Global Computing
• Global Computing