Reduction: A Method of Proving Properties of Parallel Programs.
Saved in:
| Title: | Reduction: A Method of Proving Properties of Parallel Programs. |
|---|---|
| Authors: | Lipton, Richard J.1 |
| Source: | Communications of the ACM; Dec1975, Vol. 18 Issue 12, p717-721, 5p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
