Back to the first slideNext slide

Section 4 - More models & monitors

  1. More models & monitors
  2. shared actions/events
  3. Laws
  4. One slot buffer
  5. One slot buffer - monitor
  6. Dining Philosophers
  7. Dining Philosophers - actions & processes
  8. Dining Philosophers - specification
  9. Philosopher implementation
  10. Chopstick implementation
  11. Diners - implementation
  12. Deadlock
  13. Deadlock Avoidance
  14. Final Note
  15. Summary