Vu que l'émission et la réception des messages soient le seul moyen permettant aux processus d'un système distribué de coopérer et de s'échanger des données, la capture de la relation de causalité entre les messages, dans le but d'assurer un passage efficace des messages avec les sémantiques adéquates, est d'une grande importance...