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. |
||