 | 2003 |
|---|
| 5 |       | Tim Kempster,
Colin Stirling:
Modeling and Model Checking Mobile Phone Payment Systems.
FORTE 2003: 95-110 |
| 2000 |
|---|
| 4 |  | Tim Kempster,
Colin Stirling,
Peter Thanisch:
Games-Based Model Checking of Protocols: counting doesn't count.
ICDCS Workshop on Distributed System Validation and Verification 2000: E111-E117 |
| 1999 |
|---|
| 3 | | Tim Kempster,
Gordon J. Brebner,
Peter Thanisch:
A Transactional Approach to Configuring Telecommunications Services.
Databases in Telecommunications 1999: 40-53 |
| 2 | | Tim Kempster,
Colin Stirling,
Peter Thanisch:
Diluting ACID.
SIGMOD Record 28(4): 17-23 (1999) |
| 1998 |
|---|
| 1 | | Tim Kempster,
Colin Stirling,
Peter Thanisch:
A More Committed Quorum-Based Three Phase Commit Protocol.
DISC 1998: 246-257 |
