Jan Martens 0001, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs. A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. In Gwen Salaün, Anton Wijs, editors, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings. Volume 13077 of Lecture Notes in Computer Science, pages 115-133, Springer, 2021. [doi]
Abstract is missing.