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

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