Chapter 4: Process Networks and Rendezvous
- Figure 4.1: AreYouReady.
- Figure 4.2: LocalChat.
- Figure 4.3: ChatClient.
- Figure 4.4: WriteRegulator.
- Figure 4.5: Barrier.
- Figure 4.6: RendezvousMerge.
- Figure 4.7: RendezvousOrderedMerge.
- Figure 4.8: ResourcePool.
- Figure 4.9: HammingNumbers.
- Figure 4.10: SensorModel.