Searching for authors named "Tim Kempster" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Formal Analysis of 2PC and related Optimisations
- …A Formal Analysis of 2PC and related Optimisations Tim Kempster, Colin Stirling, Peter Thanisch…
- Add To MetaCart
-
Diluting ACID
- …Diluting ACID Tim Kempster∗ , Colin Stirling, Peter Thanisch Division of Informatics, University…
- Cited by 2 (2 self) – Add To MetaCart
-
A Critical Analysis of the Transaction Internet Protocol
- …A Critical Analysis of the Transaction Internet Protocol Tim Kempster , Colin Stirling, Peter…
- Cited by 1 (0 self) – Add To MetaCart
-
A More Committed Quorum-Based Three Phase Commit Protocol
- …A More Committed Quorum-Based Three Phase Commit Protocol Tim Kempster , Colin Stirling…
- Add To MetaCart
-
Games--Based Model Checking of Protocols: counting doesn't count
- …Games--Based Model Checking of Protocols: counting doesn't count Tim Kempster, Colin Stirling…
- Add To MetaCart
-
A Transactional Approach to Configuring Telecommunications Services
- …A Transactional Approach to Configuring Telecommunications Services Tim Kempster , Gordon…
- Add To MetaCart
Showing 1 through 6.
