| Abcast |
Implementation of Atomic Broadcast
based on Consensus protocol.
|
| Bebcast |
Best-effort broadcast protocol implementation.
|
| Consensus |
Implementation of Chandra-Toueg consensus protocol
based on a rotating coordinator.
|
| Framework |
CamlGroups' default framework module
|
| Gbcast |
Implementation of Non-trivial Generic Broadcast.
|
| Globals |
Module containing some general types and functions.
|
| Mp |
Implementation of Membership Protocol
based on Generic Broadcast.
|
| Rbcast |
Implementation of Reliable Broadcast
based on Best-Effort Broadcast.
|
| Rtcp |
Robust TCP module.
|