

Section 4 -Synchronous Message Passing
- Synchronous Message Passing
- Synchronous Message - Model
- Process Model
- Process Model
- Process Model & Channel communication
- Channels in Java
- Producer- Consumer Example using Channels
- Producer Thread
- Consumer Thread
- ChannelDemo Program
- Ornamental Gardens - Revisited
- Ornamental Gardens - program
- Non-deterministic choice
- Non-deterministic choice
- Implementing choice in a programming language
- Implementing choice in Java
- Count Thread - revised
- Guarded Communication
- Car Park Specification
- Guarded Communication
- Guarded Communication in Java
- Note on Java implementation
- Summary