	Analysis of Commit Protocols

"This EPSRC GR/L74798 funded project investigate a fundamental building block of distributed algorithms: Commit Protocols"

Members of the Team

is a research assistant at the University of Edinburgh and part time Ph.D. Student at the University of Edinburgh. Formally he gained industrial experience working in the City of London in the area of Convertible Asian Derivatives.

Colin Stirling

is a Professor at the University of Edinburgh and a member of the Laboratory for the Foundations of Computer Science, he provides a wealth of experience in theoretical computer science to the project.

Peter Thanisch

is a lecturer in distributed systems and database systems at the University of Edinburgh. He is a member of the Institute for Computing Systems Architecture and is the Principle Investigator of the project. Peter provides a wealth of practical computer science research experience to the project.

Tim Kempster now works as an independent consultant. His latest product SurfingShield is a free internet parental controls and anti-adware/anti-virus system.

Project Aims and Objectives:

To develop and a formal model of commit protocols.
To investigate new areas and uses for commit protocols for example Internet commerce and Web based transactions.
To determine demands and requirements of commit protocols in these new areas.
To provide tools and techniques for formally modeling commit protocols.
To Express behavioral properties of commit protocols within these models.

Publications

Journal and Conference Publications

A More Committed Three Phase Commit Protocol Tim Kempster, Colin Stirling, Peter Thanisch postscript 148k or pdf 176K
appeared in the proceedings of The 12th International Symposium on DIStributed Computing (DISC'98)

A Transactional Approach to Network Management Tim Kempster, Gordon Brembner, Peter Thanisch postscript 947k or pdf 211k appeared in the proceedings of the 1999 workshop on databases in telecommunications to be published by Springer Verlag early 2000.

A Critical Analysis of the Transaction Internet Protocol Tim Kempster, Colin Stirling, Peter Thanisch appeared in the proceedings of the Second Inernational Conference on Telecommunications and Electronic Commerce (ICTEC 99) postscript 1186k or pdf 256k also Longer technical Report postscript 1476k or Longer technical Report pdf 414k .

Diluting ACID Tim Kempster, Colin Stirling, Peter Thanisch to appear in SIGMOD Record December 1999 postscript 331k or pdf 175k

Games--Based Model Checking of Protocols: counting doesn't count Tim Kempster, Colin Stirling, Peter Thanisch submitted to DSVV'2000 postscript 484k or pdf 95k

Edinburgh Computer Science Technical Reports

Lower Isolation Levels amongst Distributed Transactions Tim Kempster, Colin Stirling, Peter Thanisch postscript 549k or pdf 238k

A Formal Model of Two Phase Commit Tim Kempster, Colin Stirling, Peter Thanisch postscript 605k or pdf 270k

Slides and Presentations given at Conferences

Transactional Approach to Network Configuration Powerpoint 70k

A Critical Analysis of the Transaction Internet Protocol Powerpoint 163k