Process Bisimulation Via a Graphical Encoding

DOI10.1007/11841883_13zbMath1156.68494OpenAlexW2139706745MaRDI QIDQ3541958

Filippo Bonchi, Fabio Gadducci, Barbara König

Publication date: 27 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://eprints.adm.unipi.it/2160/1/TR%2D06%2D07.pdf.gz

Mathematics Subject Classification ID

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

Related Items

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi ⋮ A Decentralized Implementation of Mobile Ambients ⋮ Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) ⋮ RPO semantics for mobile ambients ⋮ Reactive Systems, Barbed Semantics, and the Mobile Ambients ⋮ Synthesising CCS bisimulation using graph rewriting ⋮ RPO, Second-Order Contexts, and λ-Calculus