Project Index Project 1: HELLO-ACK Protocol → Project 2: Time Agreement Protocol → Project 3: Chandy-Lamport → Project 4: Randomized Consensus Protocol → Projects 5 and 6: Distributed Key-Value Database →