Fingerprint
Dive into the research topics of 'A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions
Jan Martens*, Jan Friso Groote, Lars van den Haak, Pieter Hijma, Anton Wijs
*Corresponding author for this work
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review