An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation.

Ratan Nalumasu Ganesh Gopalakrishnan An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. 231-247 2002 20 Formal Methods in System Design 3 db/journals/fmsd/fmsd20.html#NalumasuG02a