Proving partial order liveness properties (1990)

by D Peled, A Pnueli
Venue:17 th ICALP, LNCS 443