Towards a theory of parallel programming (0)

by C A R 1972b Hoare
Venue:In Operating Systems Techniques, Hoare and