TY - THES DP - http://www.theses.fr/2017PSLEE058 TI - Analyse probabiliste de processus distribués axés sur les processus de consensus AU - Mallmann-Trenn, Frederik A3 - Mathieu, Claire; Berenbrink, Petra PY - 2017 N1 - Thèse de doctorat Informatique Paris Sciences et Lettres (ComUE) 2017 N1 - Thèse de doctorat Informatique Simon Fraser university (Burnaby, Canada) 2017 N1 - 2017PSLEE058 UR - http://www.theses.fr/2017PSLEE058/document ER -