van Renesse, Robbert; Birman, Kenneth P.; Friedman, Roy; Hayden, Mark; Karr, David A. A framework for protocol composition in Horus. (English) Zbl 1373.68064 Proceedings of the 14th annual ACM symposium on principles of distributed computing, PODC ’95, Ottawa, Canada, August 20–23, 1995. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-710-3). 80-89 (1995). For the entire collection see [Zbl 1323.68007]. Cited in 1 Document MSC: 68M12 Network protocols Software:Horus PDFBibTeX XMLCite \textit{R. van Renesse} et al., in: Proceedings of the 14th annual ACM symposium on principles of distributed computing, PODC '95, Ottawa, Canada, August 20--23, 1995. New York, NY: Association for Computing Machinery (ACM). 80--89 (1995; Zbl 1373.68064) Full Text: DOI