Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG70] |
On the Refinement Calculus Carroll Morgan‚ Ken Robinson and Paul Gardiner No. PRG70. OUCL. October, 1988. |
|
[PRG69] |
Lectures on Constructive Functional Programming R.S. Bird No. PRG69. OUCL. September, 1988. |
|
[PRG68] |
Z: GRAMMAR AND CONCRETE AND ABSTRACT SYNTAXES (Version 2.0) Steve King‚ Ib Holm Sorensen and Jim woodcock No. PRG68. OUCL. July, 1988. |
|
[PRG67] |
Two Papers on CSP A.W. Roscoe No. PRG67. OUCL. January, 1988. |
|
[PRG66] |
The Sliding−Window Protocol in CSP K. Paliwoda and J.W. Sanders No. PRG66. OUCL. March, 1988. |
|
[PRG65] |
An Introduction to CSP J.W. Sanders No. PRG65. OUCL. March, 1988. |
|
[PRG63] |
SPECIFYING SYSTEM IMPLEMENTATIONS IN Z Jonathan Bowen‚ Roger Gimson and Stig Topp−Jorgensen No. PRG63. OUCL. February, 1988. |