A Systematic Approach to Language Constructs for Concurrent Programs

Abstract Several styles and notations for representing concurrent programs are shortly explained and related to each other. It is basically demonstrated how the different language concepts found in concurrent programming conceptually evolve from classical styles of functional and applicative programming.

[1]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[2]  Helmut G. Stiegler,et al.  Managers Versus Monitors , 1977, IFIP Congress.

[3]  Robin Milner,et al.  Concurrent Processes and Their Syntax , 1979, JACM.

[4]  Susan S. Owicki,et al.  Axiomatic Proof Techniques for Parallel Programs , 1975, Outstanding Dissertations in the Computer Sciences.

[5]  Friedrich L. Bauer.  Dualismen in der Informatik. , 1982 .

[6]  Friedrich L. Bauer,et al.  Algorithmische Sprache und Programmentwicklung , 1981 .

[7]  John McCarthy,et al.  A BASIS FOR A MATHEMATICAL THEORY OF COMPUTATION 1) , 2018 .

[8]  F. L. Bauer.  Computational Graphs and Rounding Error , 1974 .

[9]  Manfred Broy,et al.  Transformational Semantics for Concurrent Programs , 1980, Information Processing Letters.

[10]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[11]  Manfred Broy,et al.  Denotational Semantics of Concurrent Programs with Shared Memory , 1984, STACS.

[12]  Arthur J. Bernstein,et al.  Analysis of Programs for Parallel Processing , 1966, IEEE Trans. Electron. Comput..

[13]  Per Brinch Hansen,et al.  Distributed processes: a concurrent programming concept , 1978, CACM.

[14]  Roger M. Needham,et al.  On the duality of operating system structures , 1979, OPSR.

[15]  Edsger W. Dijkstra,et al.  Co-operating sequential processes , 1968 .

[16]  Daniel P. Friedman,et al.  Aspects of Applicative Programming for Parallel Processing , 1978, IEEE Transactions on Computers.

[17]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[18]  Jack B. Dennis,et al.  First version of a data flow procedure language , 1974, Symposium on Programming.

[19]  Jerome A. Feldman,et al.  High level programming for distributed computing , 1979, CACM.

[20]  Manfred Broy,et al.  A Fixed Point Approach to Applicative Multiprogramming , 1982 .

[21]  Dennis F. Kibler,et al.  Parallel interpretation of logic programs , 1981, FPCA '81.

[22]  Ellis Horowitz,et al.  Fundamentals of Computer Algorithms , 1978 .

[23]  C. Petri.  Kommunikation mit Automaten , 1962 .

[24]  Zohar Manna,et al.  Inductive methods for proving properties of programs , 1973, Commun. ACM.

[25]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[26]  Manfred Broy,et al.  Semantics of Communicating Processes , 1984, Inf. Control..

[27]  L. G. Tesler,et al.  A language design for concurrent processes , 1899, AFIPS Spring Joint Computing Conference.

[28]  B. Krieg-Brückner,et al.  Towards a wide spectrum language to support program specification and program development , 1978, SIGP.

[29]  Gilles Kahn,et al.  Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.

[30]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[31]  Manfred Broy.  Transformation parallel ablaufender Programme , 1980 .

[32]  Paul R. Kosinski.  A data flow language for operating systems programming , 1973 .