Academic project in distributed computing using virtual synchrony