A Specification Format for Rooted Branching Bisimulation

DOI10.3233/FI-2014-1128zbMath1315.68190MaRDI QIDQ5259297

Valentina Castiglioni, Simone Tini, Ruggero Lanotte

Publication date: 26 June 2015

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

zbMATH Keywords

weak equivalence; rooted branching bisimulation; specification format

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

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

Related Items

Raiders of the lost equivalence: probabilistic branching bisimilarity