| |
| 2003 | ||
|---|---|---|
| 5 | EE | 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 | EE | Tim Kempster, Colin Stirling, Peter Thanisch: Diluting ACID. SIGMOD Record 28(4): 17-23 (1999) |
| 1998 | ||
| 1 | EE | Tim Kempster, Colin Stirling, Peter Thanisch: A More Committed Quorum-Based Three Phase Commit Protocol. DISC 1998: 246-257 |
| 1 | Gordon J. Brebner | [3] |
| 2 | Colin Stirling | [1] [2] [4] [5] |
| 3 | Peter Thanisch | [1] [2] [3] [4] |