An extended, modular library of distributed protocols
DistAlgo  is a very high-level language based on Python for programming distributed algorithms. It allows to implementation of a distributed algorithm writing (almost) pseudocode. The code is then compiled to Python by the DistAlgo compiler. As an example, there is a description of how DistAlgo is used to describe the Paxos algorithm .
The main goal of this thesis is to extend an already existing library of distributed protocols implemented using DistAlgo. This library has been developed by the group and includes implementations of protocols from the book Introduction to Reliable and Secure Distributed Programming .