Partial Order Reduction on Concurrent Probabilistic Programs.

Pedro R. D'Argenio Peter Niebert Partial Order Reduction on Concurrent Probabilistic Programs. 240-249 2004 conf/qest/2004 QEST http://csdl.computer.org/comp/proceedings/qest/2004/2185/00/21850240abs.htm db/conf/qest/qest2004.html#DArgenioN04