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.
Record type:
Book Section
More information
Published date: February 2009
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 267136
URI: http://eprints.soton.ac.uk/id/eprint/267136
PURE UUID: 3b1368d5-2145-4d02-ad01-fea1461cd7ec
Catalogue record
Date deposited: 22 Feb 2009 23:51
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Divakar Yadav
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.