Chapitre 2
Chapitre 2
Chapitre 2
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2. Délivrance causale<br />
2. Ordre de délivrance causale<br />
• Cette propriété étend l’ordre de délivrance FIFO à<br />
des communications à destination d’un même site<br />
en provenance de plusieurs autres.<br />
• Si l’envoi d’un message m 1 par le site S i à<br />
destination du site S k précède causalement l’envoi<br />
du message m 2 par le site S j à destination du site<br />
S k, alors le message m 1 sera délivré avant le<br />
message m2 sur le site S k :<br />
snd i(m 1,k) • > snd j(m 2,k) ⇒ del k(m 1) • > del k(m 2)