Can't find the paxos.tla as shown in the Leslie's tutorial lecture 7 on youtube.

16 views
Skip to first unread message

Simon Singh

unread,
Apr 12, 2020, 1:47:31 PM4/12/20
to tlaplus
Checked Git site (e.g. https://github.com/tlaplus/Examples/tree/master/specifications/Paxos), but they are different from the tutorial.

Thanks for any pointers

Markus Kuppe

unread,
Apr 12, 2020, 2:04:09 PM4/12/20
to tla...@googlegroups.com
Hi,

the zip file for lecture 7 at
https://lamport.azurewebsites.net/video/videos.html has PaxosCommit.tla.

Markus
Reply all
Reply to author
Forward
0 new messages