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]
@inproceedings{PongD96,
title = {Formal Verification of Delayed Consistency Protocols},
author = {Fong Pong and Michel Dubois},
year = {1996},
url = {http://computer.org/proceedings/ipps/7255/72550124abs.htm},
tags = {protocol, consistency},
researchr = {https://researchr.org/publication/PongD96},
cites = {0},
citedby = {0},
pages = {124-131},
booktitle = {Proceedings of IPPS 96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-7255-2},
}