Bachelor / Master Thesis
The library of distributed protocols
DistAlgo [1] is a very high-level language based on Python for programming distributed algorithms. It allows to implement a distributed algorithm writing (almost) pseudocode. The code is then compiled to Python by the DistAlgo compiler. As an example, there is a description how DistAlgo is used to describe the Paxos algorithm [2].
The main goal of this thesis is to create a library of distributed protocols implemented using DistAlgo. The library is supposed to include implementations of protocols from the book Introduction to Reliable and Secure Distributed Programming [3].
References
[1] DistAlgo
[3] Introduction to Reliable and Secure Distributed Programming