Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B


Yadav, Divakar and Butler, Michael (2009) Formal Development of a Total Order Broadcast for Distributed Transactions using Event-B In, Methods, Models and Tools for Fault Tolerance LNCS 5454. Springer

Download

[img] PDF memot.pdf - Other
Download (314kB)
Item Type: Book Section
Organisations: Electronic & Software Systems
ePrint ID: 267136
Date :
Date Event
February 2009Published
Date Deposited: 22 Feb 2009 23:51
Last Modified: 23 Feb 2017 10:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267136

Actions (login required)

View Item View Item