Algorithmic verification of asynchronous programs | Publicación