Horus
From MaRDI portal
Cited in
(16)- Cooperative computing with fragmentable and mergeable groups
- Byzantine-resistant total ordering algorithms.
- The Bancomat problem: An example of resource allocation in a partitionable asynchronous system
- A modular framework for verifying versatile distributed systems
- PlusCal
- On the interconnection of message passing systems
- PSync
- A brief introduction to distributed systems
- IOzone
- FiST
- scientific article; zbMATH DE number 1863380 (Why is no real title available?)
- A framework for protocol composition in Horus
- Tight bounds for FEC-based reliable multicast
- Extensible block-level storage virtualization in cluster-based systems
- Dynamic load balancing with group communication
- Innovations in computational type theory using Nuprl
This page was built for software: Horus
