![]() | ![]() |
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] |