2 ms·
There's a video series by Leslie Lamport himself: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html There
by gnarula 4y ago
There's a video series by Leslie Lamport himself: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html
There's also Dr. TLA+ series by Microsoft Research at https://www.youtube.com/watch?v=ao58xine3jM&list=PLD7HFcN7LXRe2YoG8Ehn0zz2B97bZWM5C https://www.youtube.com/watch?v=ao58xine3jM&list=PLD7HFcN7LX...