COMP3152/COMP9152 Comparative Concurrency Semantics (Session 1, 2008)
with focus on: Reasoning about Knowledge

• Course Outline
• Schedule of Lectures and Recommended reading
• A copy of the textbook is available for short term loan via Mycourse (run query author "Fagin")

Assignments

• Assignment 1: FHMV, 1.1, 1.3., 2.1, 2.5, 2.8 abc, 2.9, 2.10 cd
  Due: at lecture 3 (April 2)
• Assignment 2: FHMV: 4.18, 4.22, 4.29. 4.33, 4.30, 8.5, 8.6
  Due: at lecture 5 (April 16)
• Assignment 3: MCK problems
• Assignment 4: FHMV: 7.6, 6.2, 6.6, 6.7
  Due: at lecture 9: (May 14)
• Assignment 5: problems due at lecture 12 (June 4)