Accelerating the Computation of Dead and Concurrent Places Using Reductions | Publicación