Some questions from last week: 1) Given two state machines describing two concurrent processes, what is the state machine describing their interleaving? 2) What is strict consistency, and how relevant is it to distributed systems? 3) What is sequential consistency, and how relevant is it to distributed systems? 4) How do monitors work? (See the CarPark example). 5) What are the roles for wait() and notify() in Java programs, and what is complex about them?