A Mathematical View of Computer Systems

Mathematics provides what I believe to be the simplest and most powerful way to describe computer systems.

Date:
Speakers:
Leslie Lamport

Watch Next