Back to the first slideNext slide

Section 4 -Synchronous Message Passing

  1. Synchronous Message Passing
  2. Synchronous Message - Model
  3. Process Model
  4. Process Model
  5. Process Model & Channel communication
  6. Channels in Java
  7. Producer- Consumer Example using Channels
  8. Producer Thread
  9. Consumer Thread
  10. ChannelDemo Program
  11. Ornamental Gardens - Revisited
  12. Ornamental Gardens - program
  13. Non-deterministic choice
  14. Non-deterministic choice
  15. Implementing choice in a programming language
  16. Implementing choice in Java
  17. Count Thread - revised
  18. Guarded Communication
  19. Car Park Specification
  20. Guarded Communication
  21. Guarded Communication in Java
  22. Note on Java implementation
  23. Summary