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]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (170Kb) |
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: 18-22, July 2005 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 260981 |
| Date Deposited: | 15 Jun 2005 |
| Last Modified: | 02 Mar 2012 00:57 |
| Contributors: | Yadav, Divakar (Author) Butler, Michael (Author) |
| Date: | 2005 |
| Additional Information: | Event Dates: 18-22, July 2005 |
| Status: | Published |
| 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 |
