Raghuraj Suryavanshi, Divakar Yadav. Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B. In Kannan Rajkumar, Frédéric Andrès, editors, Data Engineering and Management - Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers. Volume 6411 of Lecture Notes in Computer Science, pages 317-324, Springer, 2010. [doi]
Abstract is missing.