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 (9)

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

This page was built for publication: Reactive Systems, Barbed Semantics, and the Mobile Ambients