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

[PRG24]

READING FORMAL SPECIFICATIONS

BERNARD SUFRIN

No. PRG24. OUCL. June, 1981.

[PRG25]

DEVELOPMENT METHODS FOR COMPUTER PROGRAMS INCLUDING A NOTION OF INTERFERENCE

C.B.Jones

No. PRG25. OUCL. June, 1981.

[PRG23]

A CALCULUS OF TOTAL CORRECTNESS FOR COMMUNICATING PROCESSES

C.A.R. Hoare

No. PRG23. OUCL. April, 1981.

[PRG22]

A MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES

C.A.R. Hoare

No. PRG22. OUCL. June, 1981.

[PRG21]

FORMAL SPECIFICATION OF A DISPLAY EDITOR

BERNARD SUFRIN

No. PRG21. OUCL. June, 1981.

[PRG20]

PARTIAL CORRECTNESS OF COMMUNICATING PROCESSES AND PROTOCOLS

ZHOU CHAO CHEN and C. A. R. Hoare

No. PRG20. OUCL. May, 1981.

[PRG19]

LECTURES ON A MATHEMATICAL THEORY OF COMPUTATION

Dana S. Scott

No. PRG19. OUCL. May, 1981.

[PRG16]

A Theory of Communicating Sequential Processes

C.A.R. Hoare‚ S.D. Brookes and A.W. Roscoe

No. PRG16. OUCL. May, 1981.