Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
PIDs are non-deterministic when several processes have the same start-time.