PRG Technical Monographs (Out of Print)

PRG-1

Production systems : a formalism for specifying the syntax and translation of computer languages, Henry F. Ledgard, March 1970

PRG-2

Outline of a mathematical theory of computation, Dana Scott, November 1970

PRG-4

No PRG-4 ever published

PRG-6

Toward a mathematical semantics for computer languages, Dana Scott and Christopher Strachey, April 1971

PRG-7

Continuous lattices, Dana Scott, August 1971 (correction inserted March 1972)

PRG-8

OS6 : an experimental operating system for a small computer, Joseph Stoy and Christopher Strachey, May 1972

PRG-9

The text of OSPub and commentary, Christopher Strachey and Joseph Stoy, July 1972

PRG-11

Continuations : a mathematical semantics for handling full jumps, Christopher Strachey and Christopher P. Wadsworth, January 1974

PRG-12

The mathematical semantics of Algol 60, Peter Mosses, January 1974

PRG-13

The formal semantics of computer languages and their implementations, Robert Milne, Unknown date

PRG-14

A guide to communicating sequential processes, Shan S. Khuo, Michael H. Linck and Sohrab Saadat, August 1978

PRG-15

The congruence of two programming language definitions, Joseph Stoy, Unknown date

PRG-16

A theory of communicating sequential processes, C.A.R. Hoare, S.D. Brookes and A.W. Roscoe, May 1981

PRG-19

Lectures on a mathematical theory of computation, Dana Scott, May 1981

PRG-21

Formal specification of a display editor, Bernard Sufrin, June 1981

PRG-23

A Calculus of Total Correctness for Communicating Processes, C A R Hoare, April 1981

PRG-24

Reading formal specifications, Bernard Sufrin, April 1984

PRG-25

Development methods for computer programs including a notion of interference, C.B. Jones, June 1981

PRG-30

Case studies in specification : four games, Alejandro Teruel, July 1982

PRG-31

The rigorous development of a system version control database, Ian D. Cottam, October 1982

PRG-33

Notes on communicating sequential processes, C.A.R. Hoare, August 1983

PRG-35

A non-deterministic model for communicating sequential processes, S.D. Brookes, Unknown date

PRG-39

muFP - an algebraic VLSI design language, Mary Sheeran, September 1984

PRG-40

The design and implementation of programming languages, John Hughes, September 1984

PRG-41

Towards a formal semantics for the Z notation, Mike Spivey, October 1984

PRG-43

Programming in "occam" : a tourist guide to parallel programming, Geraint Jones, March 1985
PRG--43 has been published as the book Programming in occam by Geraint Jones, Prentice--Hall International, 1987

PRG-45

Laws of programming : a tutorial paper, C.A.R. Hoare et al., May 1985

PRG-59

No PRG-59 ever published

PRG-63

Specifying system implementations in Z, Jonathan Bowen, Roger Gimson and Stig Topp-Jorgensen, February 1988

PRG-64

A calculus of functions for program derivation, Richard Bird, December 1987

PRG-65

An introduction to CSP, J.W. Sanders, March 1988

PRG-67

Two papers on CSP, A.W. Roscoe, July 1988

PRG-68

Z : grammar and concrete and abstract syntaxes, Steve King, Ib Holm Sorensen, July 1988

PRG-70

On the Refinement Calculus, Carroll Morgan, Ken Robinson and Paul Gardiner, October 1988

PRG-93

Specification and proof in real-time systems, Jim Davies, April 1991

PRG-126

An electronic purse : specification, refinement, and proof, Susan Stepney, David Cooper, and Jim Woodcock, July 2000