Owicki-Gries Theory: A Possible Way of Relating Grammar Systems to Concurrent Programs | Publicación