Concurrent Computation 1. Introduction Posted on 2021-10-03 Problems and Solutions (Protocols) Mutual Exclusion Problem Producer-Consumer Problem Readers/Writers Problem Properties Mutual Exclusion No-Starvation No-Deadlock No-Waiting