Parallel programming: An axiomatic approach

Hoare, 1972, Towards a theory of parallel programming Hoare, 1972, Proof of correctness of data representations, Acta Informatica, 1, 271, 10.1007/BF00289507 Hoare, 1974, Monitors: an Operating System Structuring Concept, Comm. ACM, 17, 10.1145/355620.361161 D. Scott, Outline of a Mathematical Theory of Computation, PRG-7. Programming Research Group, Oxford University. Dijkstra, 1968, Cooperating sequential processes Hoare, 1972, Notes on data structuring Hoare, 1972, Procedures and parameters: an axiomatic approach Wirth, 1971, The programming language PASCAL, Acta Informatica, 1, 35, 10.1007/BF00264291 Brinch Hansen, 1973 Michie, 1967, Memo functions: a language feature with ‘rote learning’ properties Conway, 1963, Design of a Separable Transition Diagram Compiler, Comm. ACM, 6, 396, 10.1145/366663.366704 Clint, 1973, Program proving: Coroutines, Acta Informatica, 2, 50, 10.1007/BF00571463