Lecture: A Mathematical View of Computer Systems
Leslie Lamport
Abstract:
Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.
(Please note the lecture contains an error. The correction can be found on this web page: https://lamport.azurewebsites.net/tla/correction.html)
