Valentina Castiglioni, Ruggero Lanotte, Simone Tini. A Rule Format for Rooted Branching Bisimulation. In Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak, editors, Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. Volume 1032 of CEUR Workshop Proceedings, pages 49-60, CEUR-WS.org, 2013. [doi]
Abstract is missing.