Compositional Reasoning of Concurrency with the Visibility Method | Publicación