Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B.

Raghuraj Suryavanshi Divakar Yadav Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B. 317-324 2010 ICDEM http://dx.doi.org/10.1007/978-3-642-27872-3_47 conf/icdem/2010 db/conf/icdem/icdem2010.html#SuryavanshiY10