Open AccessFormal Specification and Verification of Total Order Broadcast through Destination Agreement Using Event-B
Author(s) -
Arun Kumar Singh,
Divakar Yadav
Publication year - 2015
Publication title -
international journal of computer science and information technology/international journal of computer science and information technology (chennai. print)
Language(s) - English
Resource type - Journals
eISSN - 0975-4660
pISSN - 0975-3826
DOI - 10.5121/ijcsit.2015.7506
Subject(s) - computer science , event (particle physics) , order (exchange) , economics , finance , quantum mechanics , physics