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.