RPO semantics for mobile ambients

DOI10.1017/S0960129512000333zbMath1342.68225OpenAlexW2114075980MaRDI QIDQ5740373

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000333

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Mobile ambients
• Deriving structural labelled transitions for mobile ambients
• An algebraic presentation of term graphs, via gs-monoidal categories
• Pure bigraphs: structure and dynamics
• Fundamentals of algebraic graph transformation
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Behavioral theory for mobile ambients
• Coalgebraic Models for Reactive Systems
• A Decentralized Implementation of Mobile Ambients
• Deriving Structural Labelled Transitions for Mobile Ambients
• Composition and Decomposition of DPO Transformations with Borrowed Context
• Process Bisimulation Via a Graphical Encoding
• Reactive Systems, Barbed Semantics, and the Mobile Ambients
• Equational properties of mobile ambients
• Adhesive and quasiadhesive categories