|
Search the dblp DataBase
Tim Kempster:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tim Kempster, Colin Stirling
Modeling and Model Checking Mobile Phone Payment Systems. [Citation Graph (0, 0)][DBLP] FORTE, 2003, pp:95-110 [Conf]
- Tim Kempster, Colin Stirling, Peter Thanisch
Games-Based Model Checking of Protocols: counting doesn't count. [Citation Graph (0, 0)][DBLP] ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
- Tim Kempster, Gordon J. Brebner, Peter Thanisch
A Transactional Approach to Configuring Telecommunications Services. [Citation Graph (0, 0)][DBLP] Databases in Telecommunications, 1999, pp:40-53 [Conf]
- Tim Kempster, Colin Stirling, Peter Thanisch
A More Committed Quorum-Based Three Phase Commit Protocol. [Citation Graph (0, 0)][DBLP] DISC, 1998, pp:246-257 [Conf]
- Tim Kempster, Colin Stirling, Peter Thanisch
Diluting ACID. [Citation Graph (0, 1)][DBLP] SIGMOD Record, 1999, v:28, n:4, pp:17-23 [Journal]
Search in 0.002secs, Finished in 0.002secs
|