A specification format for rooted branching bisimulation

DOI10.3233/FI-2014-1128MaRDI QIDQ5259297zbMATH OpenOpenAlexFDO

Authors Valentina Castiglioni, Ruggero Lanotte, Simone Tini

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

rooted branching bisimulationspecification formatweak equivalence

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)

Recommendations

• Rooted branching bisimulation as a congruence
• Structured operational semantics and bisimulation as a congruence
• A Rule Format for Associativity
• Rule formats for bounded nondeterminism in structural operational semantics
• SOS formats and meta-theory: 20 years after

Cited in

(6)

• Rooted branching bisimulation as a congruence
• Next-preserving branching bisimulation
• A Rule Format for Associativity
• Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
• Rooted branching bisimulation as a congruence for probabilistic transition systems
• Raiders of the lost equivalence: probabilistic branching bisimilarity

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)