Partial Order Reduction: Model-Checking Using Representatives.

Doron Peled Partial Order Reduction: Model-Checking Using Representatives. 93-112 1996 conf/mfcs/1996 MFCS db/conf/mfcs/mfcs96.html#Peled96 http://dx.doi.org/10.1007/3-540-61550-4_141