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. |