A Fully Abstract Model for Mobile Ambients

DOI10.1016/S1571-0661(04)00326-3zbMath1268.68124OpenAlexW1994121803MaRDI QIDQ2841277

Mariangiola Dezani-Ciancaglini, Mario Coppo

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00326-3

Mathematics Subject Classification ID

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

Related Items (1)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi
• Domain theory in logical form
• Full abstraction in the lazy lambda calculus
• Full abstractness for a functional/concurrent language with higher-order value-passing
• Lambda-calculi for (strict) parallel functions
• A fully abstract denotational model for higher-order processes
• A filter lambda model and the completeness of type assignment
• A Filter Model for Concurrent $\lambda$-Calculus
• A filter model for mobile processes
• Higher-order processes and their models
• Equational properties of mobile ambients
• Anytime, anywhere
• Secure safe ambients

This page was built for publication: A Fully Abstract Model for Mobile Ambients