Part of the Lecture Notes in Computer Science book series (LNCS, volume 424)
Occam and the transputer
This paper examines the design of the distributed programming language occam and its implementation on the transputer, a VLSI microcomputer.
Keywordsoccam transputer CSP parallel processing VLSI architecture
Unable to display preview. Download preview PDF.
- Bornat, R., “A Protocol for Generalised occam”, Department of Computer Science, Queen Mary College, London 1984Google Scholar
- G.N. Buckley, G.N. Silberschatz, Silberschatz, A., “An Effective Implementation for the Generalised Input-Output Construct of CSP”, Transactions on Programming Languages and Systems Vol. 5, 2 (April 1983) p. 224Google Scholar
- Hoare, C.A.R., “Communicating Sequential Processes”, Communications of the ACM Vol. 21, 8 (August 1978) p. 666Google Scholar
- INMOS Ltd., “The occam programming manual”, Prentice Hall, 1984Google Scholar
- INMOS Ltd., “The occam2 reference manual”, Prentice Hall, 1988Google Scholar
- INMOS Ltd., “The transputer reference manual”, Prentice Hall, 1988Google Scholar
- Mead, C.A., Conway, L.A. “Introduction to VLSI Systems”, Addison Wesley, 1980 (Section 5)Google Scholar
- Roscoe, A.W., “Denotational Semantics for occam”, presented at NSF/SERC Seminar on Concurrency, Carnegie-Mellon University, July 1984Google Scholar
- Roscoe, A.W., Hoare, C.A.R., “The laws of occam programming”, Technical Monograph PRG-53, Oxford University Computing Laboratory, Programming Research Group, 1986Google Scholar
© Springer-Verlag Berlin Heidelberg 1990