Detection of Weak Unstable Predicates in Distributed Programs (1994)

by V K Garg, B Waldecker
Venue:IEEE Transactions on Parallel and Distributed Systems