Analyses et Preuves Formelles d'Algorithmes Distribués Probabilistes
utiles pour modéliser puis analyser les algorithmes distribués probabilis- tes de
notre modèle. La plupart des définitions et résultats énoncés ci- dessous sont
directement tirés des livres de Motwani et Raghavan [65],. Rosen [72] et Tel [75].
1.2.1 Concepts Fondamentaux. Définition 1.3. Expérience. Une expérience est
une ...
Un extrait du document