Algorithmique Distribuée Snapshots

= (C,→,I)
C
→
I
γ→δ γ δ
E= (γ , γ , γ , ...)γ∈ I ∀ ≥ , γ →γ+
γ6 ∃δ γ →δ
δ γ
E= (γ , γ , γ , ...γ )γ=γ δ =γ
γ→γ+∀ ≤ > γ δ

γ
δ γ
(γ)∧γ δ⇒(δ)