D
[Duf03] Marie Duflot. Algorithmes distribués sur des anneaux paramétrés : preuves de convergence probabiliste et déterministe. Thèse de doctorat, Lab. Spécification & Vérification, ENS Cachan, France, September 2003. 
@phdthesis{phd-duflot,
  author =              {Duflot, Marie},
  title =               {Algorithmes distribu{\'e}s sur des anneaux
                         param{\'e}tr{\'e}s : preuves de convergence
                         probabiliste et d{\'e}terministe},
  year =                {2003},
  month =               sep,
  school =              {Lab.~Sp\'ecification \& V\'erification, ENS Cachan,
                         France},
  type =                {Th\`ese de doctorat},
}
List of authors