Fellow
United States – 1994
CITATION

For co-authoring of 'An Axiomatic Proof Technique for Parallel Programs I', the best paper in the area of Programming Systems and Languages.

CITATION

Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, May 1976 (with David Gries)