AOS students, I put "Defining Liveness" paper by Bowen Alpern and Fred Schneider in the "Additional Reading Material" section of the course website. Thanks, -- Mikhail