Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace] when a process migrates, we need to clean-up its container properly (includin...