An approach to automating the verification of compact parallel coordination programs (1984)

by B D Lubachevsky
Venue:Acta Inf