Move some specs from remote spec table into local repo

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities

Other

1.29k stars 200 forks source link

Closed ahelwer closed 9 months ago

ahelwer commented 9 months ago

Also update remote spec table format.

Specs added:

Murat's PlusCal version of Lamport & Gray's analysis of Paxos vs. Two-Phase Commit
Voucher Transaction System
Atomic Commitment Protocol
Byzantine Paxos