

Section 4 - More models & monitors
- More models & monitors
- shared actions/events
- Laws
- One slot buffer
- One slot buffer - monitor
- Dining Philosophers
- Dining Philosophers - actions & processes
- Dining Philosophers - specification
- Philosopher implementation
- Chopstick implementation
- Diners - implementation
- Deadlock
- Deadlock Avoidance
- Final Note
- Summary