Conditional dynamic partial order reduction and optimality results | Publicación