Lecture 1

Web page:   20 March 2017
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
Download

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+