Lecture 1

Web page:   30 August 2021
Video:          17 March 2017

Find Leslie Lamport on the Web

 On Google     On Bing     

Time, Clocks, and the Ordering of Events in a Distributed System

Leslie Lamport
Communications of the ACM
July 1978, Volume 21, Number 7, pages 558-565

How Amazon Web Services Uses Formal Methods

Chris Newcombe et al.
Communications of the ACM
April 2015, Volume 58, Number 4, pages 66-73
Available from the ACM

The Next Video

State Machines in TLA+