Semantics of Nondeterminism, Concurrency, and Communication

[1]  Willem P. de Roever,et al.  A Proof System for Communicating Sequential Processes , 1980, ACM Trans. Program. Lang. Syst..

[2]  C. A. R. Hoare,et al.  A Model for Communicating Sequential Processes , 1980, On the Construction of Programs.

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

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

[5]  Joseph A. Goguen,et al.  Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.

[6]  W. P. Roever.  Dijkstra's Predicate Transformer, Non-Determinism, Recursion and Termination , 1976, MFCS.

[7]  Gordon D. Plotkin,et al.  A Powerdomain Construction , 1976, SIAM J. Comput..

[8]  Christopher Strachey,et al.  A theory of programming language semantics , 1976 .

[9]  J. W. de Bakker,et al.  Semantics and Termination of Nondeterministic Recursive Programs , 1976, ICALP.

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

[11]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[12]  Robin Milner,et al.  Processes: A Mathematical Model of Computing Agents , 1975 .

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

[14]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[15]  Christopher Strachey,et al.  Toward a mathematical semantics for computer languages , 1971 .

[16]  Dana S. Scott,et al.  Outline of a Mathematical Theory of Computation , 1970 .