Communicating Sequential Processes

Communications of the ACM

Volumn 21, Issue 8, 1978, Pages 666-677

  Hoare, C A R ^a  

^a QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

Author keywords

classes; concurrency; conditional critical regions; coroutines; data representations; guarded commands; input; iterative arrays; monitors; multiple entries; multiple exits; nondeterminacy; output; parallel programming; procedures; program structures; programming; programming languages; programming primitives; recursion

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0018005391     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/359576.359585     Document Type: Article

References (20)

1. Atkinson, R., and Hewitt, C. Synchronisation in actor systems. Working Paper 83, M.I.T., Cambridge, Mass., Nov. 1976.
2. Brinch Hansen, P. The programming language Concurrent Pascal. IEEE Trans. Software Eng. I, 2 (June 1975), 199-207.
3. Campbell, R.H., and Habermann, A.N. The specification of process synchronisation by path expressions. Lecture Notes in Computer Science 16, Springer, 1974, pp. 89-102.
4. Conway, M.E. Design of a separable transition-diagram compiler. Comm. ACM 6, 7 (July 1963), 396-408.
5. Dahl, O-J., et al. SIMULA 67, common base language. Norwegian Computing Centre, Forskningveien, Oslo, 1967.
6. Dijkstra, E.W. Co-operating sequential processes. In Programming Languages, F. Genuys, Ed., Academic Press, New York, 1968, pp. 43-112.
7. Dijkstra, E.W. Notes on structured programming. In Structured Programming, Academic Press, New York 1972, pp. 1-82.
8. Dijkstra, E.W. Guarded commands, nondeterminacy, and formal derivation of programs. Comm. ACM 18, 8 (Aug. 1975), 453-457.
9. Dijkstra, E.W. Verbal communication, Marktoberdorf, Aug. 1975.
10. Hoare, C.A.R. Towards a theory of parallel programming. In Operating Systems Techniques, Academic Press, New York, 1972, pp. 61-71.
11. Hoare, C.A.R. Proof of correctness of data representations. Acta Informatica 1, 4 (1972), 271-281.
12. Kahn, G. The semantics of a simple language for parallel programming. In Proc. IFIP Congress 74, North Holland, 1974.
13. Liskov, B.H. A note on CLU. Computation Structures Group Memo. 112, M.I.T., Cambridge, Mass, 1974.
14. McLlroy, M.D. Coroutines. Bell Laboratories, Murray Hill, N.J., 1968.
15. Naur, P., Ed. Report on the algorithmic language ALGOL 60. Comm. ACM 3, 5 (May 1960), 299-314.
16. Reynolds, J.C. COGENT. ANL-7022, Argonne Nat. Lab., Argonne, Ill., 1965.
17. Thompson, K. The UNIX command language. In Structured Programming, Infotech, Nicholson House, Maidenhead, England, 1976, pp. 375-384.
18. van Wijngaarden, A. Ed. Report on the algorithmic language ALGOL 68. Numer. Math. 14 (1969), 79-218.
19. Wulf, W.A., London, R.L., and Shaw, M. Abstraction and verification in ALPHARD. Dept. of Comptr. Sci., Carnegie-Mellon U., Pittsburgh, Pa., June 1976.
20. Wirth, N. The programming language PASCAL. Acta Informatica I, 1 (1971), 35-63.