"Detection of Mutual Inconsitency in Distributed Systems."

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