A Specification Format for Rooted Branching Bisimulation
Valentina Castiglioni, Ruggero Lanotte, Simone Tini · Fundamenta Informaticae · 2014
Rule formats are sets of syntactical constraints over SOS rules ensuring semantical properties of the derived LTS. Given a rule format, our proposal is to relax the constraints imposed on each single rule and to introduce some constraints on the form of the whole set of rules, thus obtaining a new format ensuring the same semantical property and being less demanding than the original one. We apply our idea to a well known rule format for rooted branching bisimulation equivalence.