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
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom