Reactive Systems, Barbed Semantics, and the Mobile Ambients

DOI10.1007/978-3-642-00596-1_20zbMath1234.68287OpenAlexW1582856109MaRDI QIDQ3617735

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale

Publication date: 31 March 2009

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00596-1_20

Mathematics Subject Classification ID

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

Related Items

Coalgebraic Symbolic Semantics, Reactive systems, (semi-)saturated semantics and coalgebras on presheaves, Observational and behavioural equivalences for soft concurrent constraint programming, A General Theory of Barbs, Contexts, and Labels, A decentralised graphical implementation of mobile ambients, Measurable stochastics for Brane calculus, Deriving structural labelled transitions for mobile ambients, Characterizing contextual equivalence in calculi with passivation, RPO semantics for mobile ambients

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On reduction-based process semantics
• Mobile ambients
• The origins of structural operational semantics
• Pure bigraphs: structure and dynamics
• Local Bigraphs and Confluence: Two Conjectures
• Bigraphs and transitions
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Behavioral theory for mobile ambients
• Reactive Systems over Directed Bigraphs
• Deriving Structural Labelled Transitions for Mobile Ambients
• Process Bisimulation Via a Graphical Encoding
• Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
• RPO, Second-Order Contexts, and λ-Calculus
• Lectures on Concurrency and Petri Nets
• Semantic Barbs and Biorthogonality