Formal Verification of Delayed Consistency Protocols

Fong Pong, Michel Dubois. Formal Verification of Delayed Consistency Protocols. In Proceedings of IPPS 96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA. pages 124-131, IEEE Computer Society, 1996. [doi]

Abstract

Abstract is missing.