"Parallel Partial Order Reduction with Topological Sort Proviso."

Jiri Barnat, Lubos Brim, Petr Rockai (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics