A More Committed Quorum-Based Three Phase Commit Protocol. - Tim Kempster; Colin Stirling; Peter Thanisch (DISC, 1998)

A Transactional Approach to Configuring Telecommunications Services. - Tim Kempster; Gordon J. Brebner; Peter Thanisch (Databases in Telecommunications, 1999)

Diluting ACID. - Tim Kempster; Colin Stirling; Peter Thanisch (SIGMOD Rec., 1999)

Games-Based Model Checking of Protocols: counting doesn't count. - Tim Kempster; Colin Stirling; Peter Thanisch (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Modelling, analysing and model checking commit protocols. - Tim Kempster (2000)

Modeling and Model Checking Mobile Phone Payment Systems. - Tim Kempster; Colin Stirling (FORTE, 2003)