scientific article
From MaRDI portal
Publication:2906944
zbMath1253.68238MaRDI QIDQ2906944
Andrew D. Gordon, Luca Cardelli
Publication date: 5 September 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (17)
On the diversity of asynchronous communication ⋮ Generating symbolic traces in the insertion modeling system ⋮ A PO characterisation of reconfiguration ⋮ Role-based access control for boxed ambients ⋮ On the Expressiveness of Pure Mobile Ambients ⋮ Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ A Distributed π-Calculus with Local Areas of Communication ⋮ First–order Semantics for Higher–order Processes ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ An overview of Boxed Ambients ⋮ A Type Inference Algorithm for Secure Ambients ⋮ A Fully Abstract Model for Mobile Ambients ⋮ Hierarchical hybrid logic ⋮ Types for Access Control in a Calculus of Mobile Resources ⋮ Behavioural typing for safe ambients
Cites Work
This page was built for publication: