Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers

Sergio Giro,P. D’Argenio,Luis María Ferrer Fioriti
DOI: https://doi.org/10.1007/978-3-642-04081-8_23
2009-09-01
Abstract:
What problem does this paper attempt to address?