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.
Susan Owicki: the Owicki-Gries method - the 1975 Cornell report and the two 1976 papers drawn from it. The report's copy has no text layer.
4 references
An axiomatic proof technique for parallel programs I
Susan Owicki and others (1976) · Acta Informatica · Springer
A consistent and complete deductive system for the verification of parallel programs
Susan Owicki (1976) · ACM Press
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