Efficient Coalgebraic Partition Refinement.

Ulrich Dorsch, Stefan Milius, Lutz Schrder, Thorsten Wimann

Browse the full CONCUR paper archive.