Controlling interference in ambients

DOI10.1145/325694.325741zbMath1323.68411OpenAlexW1968065704MaRDI QIDQ5178864

Francesca Levi, Davide Sangiorgi

Publication date: 17 March 2015

Published in: Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/325694.325741

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

On the expressive power of movement and restriction in pure mobile ambients ⋮ Nesting analysis of mobile ambients ⋮ On abstract interpretation of mobile ambients ⋮ Space-aware ambients and processes ⋮ Fair ambients ⋮ A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). ⋮ An efficient abstract machine for safe ambients ⋮ Theory of interaction ⋮ Access control in mobile ambient calculi: a comparative view ⋮ Role-based access control for boxed ambients ⋮ Unnamed Item ⋮ On the Expressiveness of Pure Mobile Ambients ⋮ A typed encoding of boxed into safe ambients ⋮ A coordination approach to mobile components ⋮ When ambients cannot be opened ⋮ Types for the ambient calculus ⋮ On the Expressiveness of the π-Calculus and the Mobile Ambients ⋮ Probabilistic mobile ambients ⋮ Mobility control via passports ⋮ Flow-sensitive type systems and the ambient calculus ⋮ A Type Inference Algorithm for Secure Ambients ⋮ The seal calculus ⋮ Applying a testing approach to the Calculus of Fair Ambients ⋮ Communication and mobility control in boxed ambients ⋮ On an open problem of Amadio and Curien: The finite antichain condition ⋮ Active Evaluation Contexts for Reaction Semantics ⋮ Typing evolving ambients ⋮ Orderly communication in the ambient calculus. ⋮ Behavioural typing for safe ambients ⋮ Security boundaries in mobile ambients