Yadav, Divakar and Butler, Michael (2005) Application of Event B to Global Causal Ordering for Fault Tolerant Transactions. Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005), Newcastle upon Tyne. 18 - 22 Jul 2005. pp. 93-102 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2005
Additional Information:
Event Dates: 18-22, July 2005
Venue - Dates:
Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005), Newcastle upon Tyne, 2005-07-18 - 2005-07-22
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 260981
URI: http://eprints.soton.ac.uk/id/eprint/260981
PURE UUID: 4543cb4c-1f21-4d84-a2b1-da3a4d634622
Catalogue record
Date deposited: 15 Jun 2005
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.