Susan S. Owicki, David Gries. An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica, 6:319-340, 1976.
@article{OwickiG76:0, title = {An Axiomatic Proof Technique for Parallel Programs I}, author = {Susan S. Owicki and David Gries}, year = {1976}, tags = {parallel programming, programming}, researchr = {https://researchr.org/publication/OwickiG76%3A0}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {6}, pages = {319-340}, }