Tim Kempster

According to our database, Tim Kempster authored at least 6 papers between 1998 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

Modeling and Model Checking Mobile Phone Payment Systems.

Tim Kempster, Colin Stirling

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2000

Modelling, analysing and model checking commit protocols.

Tim Kempster

PhD thesis, 2000

Games-Based Model Checking of Protocols: counting doesn't count.

Tim Kempster, Colin Stirling, Peter Thanisch

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Diluting ACID.

Tim Kempster, Colin Stirling, Peter Thanisch

SIGMOD Rec., 1999

A Transactional Approach to Configuring Telecommunications Services.

Tim Kempster, Gordon J. Brebner, Peter Thanisch

Proceedings of the Databases in Telecommunications, 1999

1998

A More Committed Quorum-Based Three Phase Commit Protocol.

Tim Kempster, Colin Stirling, Peter Thanisch

Proceedings of the Distributed Computing, 12th International Symposium, 1998