Detection of mutual inconsistency in distributed systems (1983)

by D S PARKER, G POPEK, G RUDISIN, A STOUGHTON, B WALKER, E WALTON, J CHOW, D EDWARDS, S KISER, C KLINE
Venue:IEEE Trans. on Software Engineering SE-9