Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG54] |
EXPLOITING PARALLELISM in the GRAPHICS PIPELINE Theoharie A. Theoharis No. PRG54. OUCL. September, 1985. |
|
[PRG52] |
ALGEBRAIC SPECIFICATION AND PROOF OF PROPERTIES OF COMMUNICATING SEQUENTIAL PROCESSES C.A.R.Hoare and Jifeng He No. PRG52. OUCL. November, 1985. |
|
[PRG51] |
JSD EXPRESSED IN CSP K.T. Sridbar and C.A.R. Hoare No. PRG51. OUCL. July, 1985. |
|
[PRG50] |
THE DISTRIBUTED COMPUTING SOFTWARE PROJECT Roger Gimson and Carroll Morgan No. PRG50. OUCL. July, 1985. |
|
[PRG49] |
SPECIFICATION DIRECTED MODULE TESTING Ian Hayes No. PRG49. OUCL. July, 1985. |
|
[PRG48] |
CAVIAR: A Case Study in Specification Bill Flinn and Ib Holm Sorensen No. PRG48. OUCL. June, 1985. |
|
[PRG47] |
SPECIFYING THE CICS − APPLICATION PROGRAMMER'S INTERFACE
|
|
[PRG45] |
LAWS OF PROGRAMMING − A TUTORIAL PAPER A. W.Roscoe C.A.R.Hoare He Jifeng LJ.Hayes C.C.Morgan J. W.Sanders I. H.Sorensen J.M.Spivey B.A.Sufrin No. PRG45. OUCL. May, 1985. |
|
[PRG44] |
THE WEAKEST PRESPECIFICATION C.A.R.Hoare and Jifeng He No. PRG44. OUCL. June, 1985. |
|
[PRG43] |
Programming In 'occam' − A tourist guide to parallel programming Geraint Jones No. PRG43. OUCL. March, 1985. |
|
[PRG46] |
SPECIFICATION CASE STUDIES Ian Hayes No. PRG46. OUCL. July, 1985. |