New Videos
94 views
Skip to first unread message
Leslie Lamport
Aug 24, 2019, 2:55:40 PM8/24/19
to tlaplus
Videos of two 1.5-hour lectures I gave this summer on the Paxos consensus algorithm are
now on the Web. The algorithm is developed through a sequence of TLA+ specs. No prior
knowledge of the algorithm or TLA+ is assumed. The videos constitute a crash course on
TLA+. Links to the videos, the specs, and accompanying exercises are at
now on the Web. The algorithm is developed through a sequence of TLA+ specs. No prior
knowledge of the algorithm or TLA+ is assumed. The videos constitute a crash course on
TLA+. Links to the videos, the specs, and accompanying exercises are at
Reply all
Reply to author
Forward
0 new messages