Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.

Scott D. Stoller Leena Unnikrishnan Yanhong A. Liu Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. 264-279 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#StollerUL00