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
