1. BRINCH HANSEN P. The Architecture of Concurrent Programming. Prentice-Hall Englewood Cliffs N.J. 1977. BRINCH HANSEN P. The Architecture of Concurrent Programming. Prentice-Hall Englewood Cliffs N.J. 1977.
2. Distributed processes
3. DIJKSTRA E.W. A class of simple communication patterns. EDW-643 1978. DIJKSTRA E.W. A class of simple communication patterns. EDW-643 1978.
4. DIJKSTRA E.W. A correctness proof for communicating processes--A small exercise. EDW-607 1977. DIJKSTRA E.W. A correctness proof for communicating processes--A small exercise. EDW-607 1977.