Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Set waitpid() for model-checked flags according to platform.