Supplemental Material

• Solution to the Readers/Writers problem using monitors
• Information regarding problem set 8
• Supplemental material on CCS exercise (Jobshop): 2-up / 6-up
• Using the Concurrency Workbench (CWB, CWB-NC)