"Detection of Mutual Inconsistency in Distributed Systems."

Douglas Stott Parker Jr. et al. (1983)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics