Upon successful completion of this module you will be able to:
- program and evaluate a range of distributed algorithms
- model and reason about the correctness of distributed algorithms
- use and reason about basic timing, failure and communication models and the guarantees they provide
The module syllabus includes:
- Core concepts
- Introduction to Tools for concurrent message passing (Elixir) and formal specifications (TLA+)
- Regular and Uniform Reliable broadcast
- FIFO, Causal and Total order broadcast
- Consensus
- Leader Election