Computer Science Monographs

[PRG113]

Design‚ Implementation and Evaluation of a Declarative Object−Oriented Programming Language

[PRG112]

A MATHEMATICAL THEORY OF SYNCHRONOUS COMMUNICATION

Janet E. Barnes

No. PRG112. OUCL. January, 1993.

[PRG111]

Probabilities and Priorities in Timed CSP

Gavin Lowe

No. PRG111. OUCL. November, 1993.

[PRG110]

AN ALGEBRAIC APPROACH TO COMPILER DESIGN

Details | BibTeX | Download (pdf)

[PRG109]

THE FORMAL DESIGN AND EVALUATION OF A VARIETY OF MEDICAL DIAGNOSTIC PROGRAMS

B.S. Todd and R. Stamper

No. PRG109. OUCL. September, 1993.

[PRG108]

DENOTATIONAL SEMANTICS FOR occam 2

M. H. Goldsmith‚ A. W.Roscoe and B. G.O. Scott

No. PRG108. OUCL. June, 1993.

[PRG104]

EQUATIONAL REASONING SUPPORT FOR ORWELL

Stephen Paul Wilson

No. PRG104. OUCL. March, 1993.

Main sections