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

Sergio Giro, Pedro R. D'Argenio, Luis Mara Ferrer Fioriti

Browse the full CONCUR paper archive.