A framework for protocol composition in Horus

DOI10.1145/224964.224974MaRDI QIDQ5361441zbMATH OpenOpenAlexFDO

Authors Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, 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

Mathematics Subject Classification ID

Network protocols (68M12)

Cited in

(1)

• Extensible block-level storage virtualization in cluster-based systems

Describes a project that uses

Uses Software

• Horus

This page was built for publication: A framework for protocol composition in Horus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5361441)