Computer Science Monographs
2015200920001999199719961995199419931992
1991199019891988198719861985198419831982
198119801978197619741973197219711970
|
[PRG42] |
A RANGE OF OPERATING SYSTEMS WRITTEN IN A PURELY FUNCTIONAL STYLE Simon B. Jones No. PRG42. OUCL. September, 1984. |
|
[PRG41] |
Towards a Formal Semantics for the Z Notation Mike Spivey No. PRG41. OUCL. October, 1984. |
|
[PRG38] |
MAKING NETS ABSTRACT AND STRUCTURED and NETS AND THEIR RELATION TO CSP Ludwik Czaja No. PRG38. OUCL. January, 1984. |
|
[PRG37] |
SPECIFICATION−ORIENTED SEMANTICS FOR COMMUNICATING PROCESSES E.R. Olderog and C.A.R. Hoare No. PRG37. OUCL. February, 1984. |