Parallel Partial Order Reduction with Topological Sort Proviso.

Jiri Barnat, Lubos Brim, Petr Rockai

Browse the full SEFM paper archive.