Partial Order Reductions Using Compositional Confluence Detection.

Frdric Lang, Radu Mateescu

Browse the full FM paper archive.