University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Computer Science Monographs

2015200920001999199719961995199419931992

1991199019891988198719861985198419831982

198119801978197619741973197219711970

[PRG42]

A RANGE OF OPERATING SYSTEMS WRITTEN IN A PURELY FUNCTIONAL STYLE

Simon B. Jones

No. PRG42. OUCL. September, 1984.

[PRG41]

Towards a Formal Semantics for the Z Notation

Mike Spivey

No. PRG41. OUCL. October, 1984.

[PRG38]

MAKING NETS ABSTRACT AND STRUCTURED and NETS AND THEIR RELATION TO CSP

Ludwik Czaja

No. PRG38. OUCL. January, 1984.

[PRG37]

SPECIFICATION−ORIENTED SEMANTICS FOR COMMUNICATING PROCESSES

E.R. Olderog and C.A.R. Hoare

No. PRG37. OUCL. February, 1984.