Reduction: A Method of Proving Properties of Parallel Programs.

Saved in:

Bibliographic Details
Title:	Reduction: A Method of Proving Properties of Parallel Programs.
Authors:	Lipton, Richard J.¹
Source:	Communications of the ACM; Dec1975, Vol. 18 Issue 12, p717-721, 5p
Database:	Applied Science & Technology Source

Description
ISSN:	00010782
DOI:	10.1145/361227.361234