Home

High-Level View

News

Industrial Use

Learning

The Toolbox

Tools

Advanced Topics

More Stuff

The TLA+ web site once contained a page with this URL.  The page linked to TLA+ and PlusCal specifications of algorithms in the paper Consensus on Transaction Commit.  That material has been removed from the web site because it seems to be of little interest, since specifications of those algorithms appear in the paper.