Keith Marzullo, Gil Neiger. Detection of Global State Predicates. In Sam Toueg, Paul G. Spirakis, Lefteris M. Kirousis, editors, Distributed Algorithms, 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991, Proceedings. Volume 579 of Lecture Notes in Computer Science, pages 254-272, Springer, 1991.
@inproceedings{MarzulloN91,
title = {Detection of Global State Predicates},
author = {Keith Marzullo and Gil Neiger},
year = {1991},
researchr = {https://researchr.org/publication/MarzulloN91},
cites = {0},
citedby = {0},
pages = {254-272},
booktitle = {Distributed Algorithms, 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991, Proceedings},
editor = {Sam Toueg and Paul G. Spirakis and Lefteris M. Kirousis},
volume = {579},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55236-7},
}