P.: Partial order reduction on concurrent probabilistic programs (2004)

by P D’Argenio, Niebert
Venue:In: Proc. 1st Int. Conf. Quantitative Evaluation of Systems (QEST’04