Boxed ambients with communication interfaces

DOI10.1017/S0960129507006226MaRDI QIDQ5756976zbMATH OpenOpenAlexFDO

Authors Pablo Garralda, Eduardo Bonelli, Mariangiola Dezani-Ciancaglini, 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)

Recommendations

• Mathematical Foundations of Computer Science 2004
• Communication and mobility control in boxed ambients
• On an open problem of Amadio and Curien: The finite antichain condition
• An overview of boxed ambients (abstract)
• scientific article; zbMATH DE number 1954374

Cites work

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

Cited in

(10)

• Pict correctness revisited
• Deriving structural labelled transitions for mobile ambients
• An overview of boxed ambients (abstract)
• Splitting mobility and communication in boxed ambients
• Types for role-based access control of dynamic web data
• scientific article; zbMATH DE number 1953025 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2004
• On higher-order communication in ambient calculi
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Role-based access control for boxed ambients

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756976)