Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs | Publicación