▁▁ ▁Mut ual ▁ex clusion ▁▁ ▁Non - block ing ▁data ▁structures ▁ ▁R eli able ▁Broadcast ▁ ▁R eli able ▁broadcast ▁is ▁a ▁communication ▁primitive ▁in ▁distributed ▁systems . ▁A ▁reliable ▁broadcast ▁is ▁defined ▁by ▁the ▁following ▁properties : ▁▁ ▁Valid ity ▁- ▁if ▁a ▁correct ▁process ▁sends ▁a ▁message , ▁then ▁some ▁correct ▁process ▁will ▁eventually ▁deliver ▁that ▁message ▁ ▁Ag re ement ▁- ▁if ▁a ▁correct ▁process ▁del ivers ▁a ▁message , ▁then ▁all ▁correct ▁processes ▁eventually ▁deliver ▁that ▁message ▁ ▁Integr ity ▁- ▁every ▁correct ▁process ▁del ivers ▁the ▁same ▁message ▁at ▁most ▁once ▁and ▁only ▁if ▁that ▁message ▁has ▁been ▁sent ▁by ▁a ▁process ▁▁ ▁A ▁reliable ▁broadcast ▁can ▁have ▁sequ ential , ▁caus al ▁or ▁total ▁ordering . ▁▁ ▁Rep lication ▁ ▁Resource ▁allocation ▁ ▁Sp anning ▁tree ▁generation ▁ ▁Sym met ry ▁breaking , ▁e . g . ▁vertex ▁color ing ▁ ▁References ▁ ▁Further ▁reading ▁▁▁ ▁C . ▁Rodríguez , ▁M . ▁Vill ag ra ▁and ▁B . ▁Bar án , ▁, ▁B ion et ics 2 0 0 7 , ▁pp .   6 6 – 6 9 , ▁ 2 0 0 7 . ▁ ▁External ▁links ▁ ▁M IT ▁Open ▁Cour se ware ▁- ▁Dist ributed ▁Alg orithms <0x0A> </s> ▁A ▁special ▁election ▁was ▁held ▁in ▁ ▁in ▁July , ▁ 1 7 9 0 , ▁to ▁fill ▁the ▁vac ancy ▁left ▁by ▁the ▁death ▁of ▁The odor ick ▁B land ▁( A ) ▁on ▁June ▁ 1 , ▁ 1 7