[JansenL22] Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof Jansen, D. N. and Liu, X. In A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pages 358-370, Springer, Lecture Notes in Computer Science 13560, 2022.
Downloads: bibURL: https://doi.org/10.1007/978-3-031-15629-8_19