Detection of strong unstable predicates in distributed programs (1996)

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