[tlaplus] New Videos

[Leslie Lamport <tlaplus.ll@xxxxxxxxx>]

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

   https://lamport.azurewebsites.net/tla/paxos-algorithm.html

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/ca257889-8a7d-4cf5-85e1-648f23056c59%40googlegroups.com.