On Combining Partial Order Reduction with Fairness Assumptions.

Lubos Brim Ivana Cerná Pavel Moravec 0002 Jirí Simsa On Combining Partial Order Reduction with Fairness Assumptions. 84-99 2006 conf/fmics/2006 FMICS/PDMC http://dx.doi.org/10.1007/978-3-540-70952-7_6 db/conf/fmics/fmics2006.html#BrimCMS06