Verification of distributed programs using representative interleaving sequences (1992)

by S Katz, D Peled
Venue:Distributed Computing