/* WARNING, the order *must* be fixed or you'll jeopardize the simulation reproducibility (see RR-7653) */
/* Here, the order is ok because:
/* WARNING, the order *must* be fixed or you'll jeopardize the simulation reproducibility (see RR-7653) */
/* Here, the order is ok because:
* - if there is no kill during the simulation, processes remain sorted according by their PID.
* rational: This can be proved inductively.
* Assume that process_to_run is sorted at a beginning of one round (it is at round 0: the deployment file is parsed linearly).
* - if there is no kill during the simulation, processes remain sorted according by their PID.
* rational: This can be proved inductively.
* Assume that process_to_run is sorted at a beginning of one round (it is at round 0: the deployment file is parsed linearly).