Horus
From MaRDI portal
Software:33612
swMATH21811MaRDI QIDQ33612FDOQ33612
Author name not available (Why is that?)
Cited In (12)
- 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
- A brief introduction to distributed systems
- 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
