Idit Keidar, Roger Khazan. A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach. SIAM Journal on Computing, 32(1):78-130, 2002. [doi]
@article{KeidarK02,
title = {A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach},
author = {Idit Keidar and Roger Khazan},
year = {2002},
url = {http://epubs.siam.org/sam-bin/dbq/article/37875},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/KeidarK02},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {32},
number = {1},
pages = {78-130},
}