In the context of the analysis of concurrent processes, this well-written paper presents two distinct ideas. The first one is that the cooperation of two processes may be modeled as the intersection of their behaviors in isolation. This approach is, as the author admits, certainly not new, but it is illustrated by three nice and convincing examples.

The second idea is that each collection of communicating processes may be modeled (simulated) by a single, nondeterministic sequential program that produces all possible behaviors of the composite of the communicating processes. The paper presents one example of this transformation. In spite of the title of this paper, the practicality of the latter approach for analysis purposes is a topic that has not been settled yet.