25) In cosa consiste la relazione happened before?
È un ordinamento degli eventi per un insieme di processi che comunicano attraverso message passing. È derivato dalla causalità:La relazione introduce un ordinamento parziale degli eventi di un sistema
Due eventi sono concorrenti se: non a-> b e non b-> a
Poiché non esiste un unico orologio globale (tempo globale) ma un insieme di clock locali (tempi locali), con possibili variabili ritardi di trasmissione, c’è la necessità di un ordinamento globale o totale per la sincronizzazione.