A framework for protocol composition in Horus
From MaRDI portal
Publication:5361441
DOI10.1145/224964.224974zbMath1373.68064OpenAlexW1996920585MaRDI QIDQ5361441
Mark Hayden, Roy Friedman, Robbert van Renesse, Kenneth P. Birman, David A. Karr
Publication date: 29 September 2017
Published in: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/224964.224974
Related Items (1)
Uses Software
This page was built for publication: A framework for protocol composition in Horus