arrow
Return

EXERCISE IN PROVING PARALLEL PROGRAMS CORRECT

delete1977-12-01
delete49
delete
OA
AI
D
David Gries
DOI:10.1145/359897.359903delete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

Communications of the ACM cover
Communications of the ACM
IF:
12.2
Papers:
1.2W
Citations:
3.7W

Organization

No organization information available
Cited Papers

Cited Papers