Boxed ambients with communication interfaces

DOI10.1017/S0960129507006226zbMath1125.68081OpenAlexW2131641020MaRDI QIDQ5756976

Pablo Garralda, Mariangiola Dezani-Ciancaglini, Eduardo Bonelli, Adriana Compagnoni

Publication date: 6 September 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129507006226

zbMATH Keywords

ambient calculus

Mathematics Subject Classification ID

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

Related Items (4)

Deriving structural labelled transitions for mobile ambients ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Types for Role-Based Access Control of Dynamic Web Data ⋮ Pict correctness revisited

Cites Work

• Mobile ambients
• Trust and partial typing in open systems of mobile agents
• Resource access control in systems of mobile agents
• Towards a behavioural theory of access and mobility control in distributed systems
• The seal calculus
• Correspondence assertions for process synchronization in concurrent communications
• Equational properties of mobile ambients

This page was built for publication: Boxed ambients with communication interfaces