Lecture: A Mathematical View of Computer Systems

Leslie Lamport

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)