Details for the publication JansenL22.

David N. Jansen (), Xinxin Liu: Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof. In A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, volume 13560 of Lecture Notes in Computer Science, pages 358-370, 2022. DOI BIB