4 ms·
And the one who created TLA+, a language for describing concurrent computations. http://lamport.azurewebsites.net/video/videos.html http://lamport.azurewebsite
by threatofrain 7y ago
And the one who created TLA+, a language for describing concurrent computations.
http://lamport.azurewebsites.net/video/videos.html http://lamport.azurewebsites.net/video/videos.html
- state_less 7y agoI like how he formalized future state into propositional logic so you could reason about a system across time.