Tornar als detalls de l'article
Owicki-Gries Theory: A Possible Way of Relating Grammar Systems to Concurrent Programs
Descarrega el PDF