Volver a los detalles del artículo Owicki-Gries Theory: A Possible Way of Relating Grammar Systems to Concurrent Programs Descargar Descargar PDF