A parallel algorithm for global states enumeration in concurrent systems.

Yen-Jung Chang, Vijay K. Garg

Browse the full PPoPP paper archive.