correctness of distributed algorithms and concurrent software, focusing, in this
work, on liveness properties such as absence... are no livelocks if the wait times are always finite. The
work consists in modeling this problem as an RL problem, choosing... -
Voir cette offre d'emploi