Proving assertions about parallel programs (1975)

by E A Ashcroft
Venue:J. Comput. Syst. Sci