This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Susan Owicki
A grouping.
The Owicki-Gries method for parallel programs: prove each thread against its own specification, then discharge the interference-freedom obligation that neither invalidates the other's assertions. The corpus holds the 1975 Cornell technical report and the two 1976 papers drawn from it, which arrived under two spellings, now joined -- the split separated the thesis from the papers. The report's copy has an empty text layer over 210 pages, so it is invisible to full-text search.
3 references
An axiomatic proof technique for parallel programs I
Susan Owicki and others (1976) · Acta Informatica · Springer
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki and others (1976) · Communications of the ACM · Association for Computing Machinery (ACM)
Axiomatic Proof Techniques for Parallel Programs
Susan Speer Owicki (1975) · Cornell University