Application of Event B to Global Causal Ordering for Fault Tolerant Transactions


Yadav, Divakar and Butler, Michael (2005) Application of Event B to Global Causal Ordering for Fault Tolerant Transactions. In, Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005), Newcastle upon Tyne, 18 - 22 Jul 2005. , 93-102.

This is the latest version of this item.

Download

[img] PDF
Download (170Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 18-22, July 2005
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 260981
Date Deposited: 15 Jun 2005
Last Modified: 27 Mar 2014 20:03
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/260981

Available Versions of this Item

  • Application of Event B to Global Causal Ordering for Fault Tolerant Transactions. (deposited 15 Jun 2005) [Currently Displayed]

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics