@misc{indiciae91372a8256d2,
  title = {A linear parallel algorithm to compute bisimulation and relational coarsest partitions},
  author = {Jan Martens and Jan Friso Groote and Lars van den Haak and Pieter Hijma and Anton Wijs},
  year = {2021},
  url = {https://arxiv.org/abs/2105.11788},
  note = {Source identifier: 2105.11788}
}