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.
David Gries
A grouping.
David Gries: the Owicki-Gries method for parallel programs (1976), 'The science of programming', and 'Avoiding the Undefined by Underspecification' on expressions with no value.
5 references
Avoiding the Undefined by Underspecification
David Gries and others (1995) · Computer Science Today: Recent Trends and Developments · Springer
The science of programming
David Gries (1981) · Springer
Assignment and Procedure Call Proof Rules
David Gries and others (1980) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery (ACM)
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)