Note: [] Address for correspondence: Valentina Castiglioni, Ruggero Lanotte, Simone Tini, Department of Scienza e Alta Tecnologia, University of Insubria, Via Valleggio 11, I-22100, Como, Italy
Abstract: 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.
Keywords: Weak equivalence, rooted branching bisimulation, specification format
