Lab1: causal ordering of point-to-point messages
Lab2: Singhal’s algorithm
Lab3: Gallager, Humblet, and Spira's algorithm of Minimum-Weight Spanning Tree in asynchronous weighted networks
The code is managed in Maven. All libraries used for the project are listed in pom.xml.