Abstract
This paper examines the design of the distributed programming language occam and its implementation on the transputer, a VLSI microcomputer.
Preview
Unable to display preview. Download preview PDF.
References
Bornat, R., “A Protocol for Generalised occam”, Department of Computer Science, Queen Mary College, London 1984
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. 224
Hoare, C.A.R., “Communicating Sequential Processes”, Communications of the ACM Vol. 21, 8 (August 1978) p. 666
INMOS Ltd., “The occam programming manual”, Prentice Hall, 1984
INMOS Ltd., “The occam2 reference manual”, Prentice Hall, 1988
INMOS Ltd., “The transputer reference manual”, Prentice Hall, 1988
Mead, C.A., Conway, L.A. “Introduction to VLSI Systems”, Addison Wesley, 1980 (Section 5)
Roscoe, A.W., “Denotational Semantics for occam”, presented at NSF/SERC Seminar on Concurrency, Carnegie-Mellon University, July 1984
Roscoe, A.W., Hoare, C.A.R., “The laws of occam programming”, Technical Monograph PRG-53, Oxford University Computing Laboratory, Programming Research Group, 1986
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
May, D., Shepherd, R. (1990). Occam and the transputer. In: Rozenberg, G. (eds) Advances in Petri Nets 1989. APN 1988. Lecture Notes in Computer Science, vol 424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52494-0_36
Download citation
DOI: https://doi.org/10.1007/3-540-52494-0_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52494-6
Online ISBN: 978-3-540-46998-8
eBook Packages: Springer Book Archive