Horus

swMATH21811MaRDI QIDQ33612FDOQ33612

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=866719

Cited In (16)

• Byzantine-resistant total ordering algorithms.
• Title not available (Why is that?)
• A modular framework for verifying versatile distributed systems
• Tight bounds for FEC-based reliable multicast
• The Bancomat problem: An example of resource allocation in a partitionable asynchronous system
• PlusCal
• PSync
• A brief introduction to distributed systems
• FiST
• IOzone
• Innovations in computational type theory using Nuprl
• Dynamic load balancing with group communication
• On the interconnection of message passing systems
• A framework for protocol composition in Horus
• Cooperative computing with fragmentable and mergeable groups
• Extensible block-level storage virtualization in cluster-based systems

This page was built for software: Horus