Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
rename SIMIX_process_get_maxpid() to SIMIX_process_get_nextpid() and make it public