Automatic verfication of a class of symmetric parallel programs (1994)

by B K Szymanski, J M Vidal
Venue:In Proc. 13th IFIP World Computer Congress