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

Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu

Browse the full CAV paper archive.