A Specification Format for Rooted Branching Bisimulation

DOI10.3233/FI-2014-1128zbMATH Open1315.68190OpenAlexW1541604516MaRDI QIDQ5259297FDOQ5259297

Valentina Castiglioni, Simone Tini, Ruggero Lanotte

Publication date: 26 June 2015

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1128

zbMATH Keywords

weak equivalencerooted branching bisimulationspecification format

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• Raiders of the lost equivalence: probabilistic branching bisimilarity
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
• Next-preserving branching bisimulation

This page was built for publication: A Specification Format for Rooted Branching Bisimulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259297)