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