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