Yuri Gurevich, Raghu Mani. Group membership protocol: specification and verification. In Egon Börger, editor, Specification and validation methods. pages 295-328, Oxford University Press, 1993.
@incollection{conf-asm-GurevichM93,
title = {Group membership protocol: specification and verification},
author = {Yuri Gurevich and Raghu Mani},
year = {1993},
researchr = {https://researchr.org/publication/conf-asm-GurevichM93},
cites = {0},
citedby = {0},
pages = {295-328},
booktitle = {Specification and validation methods},
editor = {Egon Börger},
publisher = {Oxford University Press},
isbn = {0-19-853854-5},
}