Distributed Systems, Advanced Course
Course assignments using Kompics [0]
- assignment1 - Eventually Perfect Failure Detector
- assignment2 - {Basic, Eager Reliable, Waiting Causal} Broadcast
- assignment3 - Read-Impose Write-Consult-Majority Atomic Register
- assignment4 - Abortable Consensus (Paxos)
- assignment5 - Total Order Broadcast (Multi-Paxos)