Doron Peled;Amir Pnueli
-;-
Verification of distributed programs using representative interleaving sequences
Distributed Computing