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 At Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005). 18 - 22 Jul 2005. , pp. 93-102.

This is the latest version of this item.

Download

[img] PDF revised_reftpaper.pdf - Other
Download (174kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 18-22, July 2005
Venue - Dates: Workshop on Rigorous Engineering of Fault Tolerant Systems (REFT2005), 2005-07-18 - 2005-07-22
Organisations: Electronic & Software Systems
ePrint ID: 260981
Date :
Date Event
2005Published
Date Deposited: 15 Jun 2005
Last Modified: 17 Apr 2017 22:04
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