Types for the ambient calculus

DOI10.1006/inco.2001.3121zbMath1093.68060OpenAlexW4213386503WikidataQ56982131 ScholiaQ56982131MaRDI QIDQ2497144

Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli

Publication date: 3 August 2006

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

Full work available at URL: https://semanticscholar.org/paper/ab3973a1ff2aff68eabdb002429f4be372f4535c

Mathematics Subject Classification ID

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

Related Items (16)

On abstract interpretation of mobile ambients ⋮ Capability-based localization of distributed and heterogeneous queries ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Secure Data Flow in a Calculus for Context Awareness ⋮ Unnamed Item ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ Automata on Multisets of Communicating Objects ⋮ Security types for dynamic web data ⋮ Types for Role-Based Access Control of Dynamic Web Data ⋮ From flow logic to static type systems for coordination languages ⋮ Secrecy and group creation ⋮ A typed encoding of boxed into safe ambients ⋮ A coordination approach to mobile components ⋮ Security Types for Dynamic Web Data ⋮ Dynamic management of capabilities in a network aware coordination language

Uses Software

• TALx86

Cites Work

• Region-based memory management
• The calculus of constructions
• Mobile ambients
• Secrecy by typing in security protocols
• Shape analysis for mobile ambients
• Controlling interference in ambients
• Secure safe ambients
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Types for the ambient calculus