Chapter Seven. Tightly Coupled Process Networks
Models of computation are not restricted to those we have discussed so far. As a matter of fact, practically important MoCs fall outside the frame we have developed. Our framework enforces three properties in all its concrete MoCs: blocking read, decoupled sender/receiver, and determinism. In this chapter we discuss more informally MoCs that violate these properties.
In particular we investigate the effects of a nonblocking read semantics for a message receiver (Section 7.1). Together with nondeterministic communication delays it leads to nondeterministic behavior.
A blocking read/blocking write semantics of the communication (Section 7.2) leads to a very tight coupling between the processes in a process ...