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]
@inproceedings{0001GHHW21,
title = {A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions},
author = {Jan Martens 0001 and Jan Friso Groote and Lars B. van den Haak and Pieter Hijma and Anton Wijs},
year = {2021},
doi = {10.1007/978-3-030-90636-8_7},
url = {https://doi.org/10.1007/978-3-030-90636-8_7},
researchr = {https://researchr.org/publication/0001GHHW21},
cites = {0},
citedby = {0},
pages = {115-133},
booktitle = {Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings},
editor = {Gwen Salaün and Anton Wijs},
volume = {13077},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-90636-8},
}