Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse. Decompositional Branching Bisimulation Minimisation of Monolithic Processes. In Silvia Lizeth Tapia Tarifa, José Proença, editors, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Volume 13712 of Lecture Notes in Computer Science, pages 161-182, Springer, 2022. [doi]
Abstract is missing.