A correctness criterion for CSP parallel programs

Authors:
Frederick G. Sayward
Affiliations:
Brown University, Providence, R.I.
Venue:
ACM SIGPLAN Notices
Year:
1975

Citing 5
Cited 0

Monitors: an operating system structuring concept

Communications of the ACM
Structured multiprogramming

Communications of the ACM
The structure of the “THE”-multiprogramming system

Communications of the ACM
An axiomatic basis for computer programming

Communications of the ACM
Solution of a problem in concurrent programming control

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract