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

by Boris Lubachevsky
Venue:Acta Informatica