TY  - RPRT
TI  - A linear parallel algorithm to compute bisimulation and relational coarsest partitions
AU  - Jan Martens
AU  - Jan Friso Groote
AU  - Lars van den Haak
AU  - Pieter Hijma
AU  - Anton Wijs
PY  - 2021
UR  - https://arxiv.org/abs/2105.11788
ID  - 2105.11788
ER  -