scientific article; zbMATH DE number 1759481

zbMath0998.68536MaRDI QIDQ4536435

Andrew D. Gordon, Luca Cardelli, Giorgio Ghelli

Publication date: 25 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (18)

On abstract interpretation of mobile ambients ⋮ Automata and processes on multisets of communicating objects ⋮ Automata on Multisets of Communicating Objects ⋮ Access control in mobile ambient calculi: a comparative view ⋮ Role-based access control for boxed ambients ⋮ Information flow security in boundary ambients ⋮ From flow logic to static type systems for coordination languages ⋮ Types for the ambient calculus ⋮ Mobility control via passports ⋮ Flow-sensitive type systems and the ambient calculus ⋮ A Type Inference Algorithm for Secure Ambients ⋮ The seal calculus ⋮ safeDpi: a language for controlling mobile code ⋮ Types for Access Control in a Calculus of Mobile Resources ⋮ Typing evolving ambients ⋮ Orderly communication in the ambient calculus. ⋮ Behavioural typing for safe ambients ⋮ Security boundaries in mobile ambients

This page was built for publication: