Communicating sequential processes

Atkinson R., 1976, Mass.

Brinch Hansen P, 1975, The programming language Concurrent Pascal, IEEE Trans. Software Eng., 1, 2

10.5555/647641.733391

10.1145/366663.366704

Dahl O-J., 1967, Norwegian Computing Centre

Dijkstra E.W., 1968, Academic Press, 43

Dijkstra E.W., 1972, Structured Programming, 1

10.1145/360933.360975

Dijkstra E.W. Verbal communication Marktoberdorf Aug. 1975.]] Dijkstra E.W. Verbal communication Marktoberdorf Aug. 1975.]]

Hoare C.A.R., 1972, Operating Systems Techniques, 61

Hoare C.A.R. Proof of correctness of data representations..4cta Informatica 1 4 (1972) 271-281.]] Hoare C.A.R. Proof of correctness of data representations..4cta Informatica 1 4 (1972) 271-281.]]

Kahn G., 1974, Proc. IFIP Congress 74

Liskov B.H. A note on CLU. Computation Structures Group Memo. 112 M.I.T. Cambridge Mass 1974.]] Liskov B.H. A note on CLU. Computation Structures Group Memo. 112 M.I.T. Cambridge Mass 1974.]]

Mcllroy M.D. Coroutines. Bell Laboratories Murray Hill N.J. 1968.]] Mcllroy M.D. Coroutines. Bell Laboratories Murray Hill N.J. 1968.]]

10.1145/367236.367262

Reynolds J.C. COGENT. ANL-7022 Argonne Nat. Lab. Argonne II1. 1965.]] Reynolds J.C. COGENT. ANL-7022 Argonne Nat. Lab. Argonne II1. 1965.]]

Thompson K., 1976, Structured Programming, Infotech, 375

10.5555/1098667

Wulf W.A., 1976, Pa.

10.1007/BF00264288