Behavioral theory for mobile ambients
From MaRDI portal
Publication:3455211
DOI10.1145/1101821.1101825zbMath1326.68201OpenAlexW2054344570WikidataQ62041661 ScholiaQ62041661MaRDI QIDQ3455211
Massimo Merro, F. Zappa Nardelli
Publication date: 4 December 2015
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1101821.1101825
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (25)
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ A synchronous \(\pi\)-calculus ⋮ Howe’s Method for Calculi with Passivation ⋮ Basic observables for a calculus for global computing ⋮ A coalgebraic approach to the semantics of the ambient calculus ⋮ A General Theory of Barbs, Contexts, and Labels ⋮ Virtually timed ambients: a calculus of nested virtualization ⋮ A pure labeled transition semantics for the applied pi calculus ⋮ Theory of interaction ⋮ A semantic theory of the Internet of things ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Deriving structural labelled transitions for mobile ambients ⋮ Characterizing contextual equivalence in calculi with passivation ⋮ A Decentralized Implementation of Mobile Ambients ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) ⋮ RPO semantics for mobile ambients ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Towards `up to context' reasoning about higher-order processes ⋮ Normal Bisimulations in Calculi with Passivation ⋮ Reactive Systems, Barbed Semantics, and the Mobile Ambients ⋮ Synthesising CCS bisimulation using graph rewriting ⋮ Types for ambient and process mobility ⋮ Processes against tests: on defining contextual equivalences ⋮ Unnamed Item
This page was built for publication: Behavioral theory for mobile ambients
