Comment Comment by gnarula There's a video series by Leslie Lamport himself: https://lamport.azurewebsites.net/video/videos.htmlThere's also Dr. TLA+ series by Microsoft Research at https://www.youtube.com/watch?v=ao58xine3jM&list=PLD7HFcN7LX... parent gnarula 4 years ago
There's also Dr. TLA+ series by Microsoft Research at https://www.youtube.com/watch?v=ao58xine3jM&list=PLD7HFcN7LX...