This URL is Obsolete

Leslie Lamport

Last modified on 30 December 2018

You'll miss a lot on this web site unless you enable Javascript in your browser.

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.