Static Partial Order Reduction for Probabilistic Concurrent Systems | Publicación