Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC showed that this test could go wrong if receiver is early