Detection of mutual inconsistency in distributed systems.
Parker, D. S⋅Popek, G. J⋅Rudisin, G.⋅Stoughton, Alley⋅Walker, B. J⋅Walton, E.⋅Chow, J. M⋅Edwards, D.⋅Kiser, S. and Kline, C.
IEEE Transactions on Software Engineering, vol. SE-9, (no. 3), pp. 240-247, 1983. | Journal Article