Abstract
The following is based on an after-dinner speech at the conference to celebrate the 25th anniversary of CSP. It’s an informal – and personal – account of the development of CSP and the related work on the occam language and the Inmos transputer. This involved many exceptional people, and I’ve only been able to mention a few of them – but before I start – I’d like to thank them all.
Keywords
- Programming Language
- Business Process Management
- Hardware Design
- Concurrent Program
- Generation Computer System
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Barrett, G.: Formal methods applied to a floating point number system. IEEE transactions on software engineering 15(5), 611–621 (1989)
Barrett, G.: Model checking in practice: the t9000 virtual channel processor. IEEE transactions on software engineering 21(2), 69–78 (1995)
Good, D.I.: Mechanical proofs about computer programs. In: Hoare, C.A.R., Shepherdson, J.C. (eds.) Mathematical Logic and Programming Languages, pp. 55–74. Prentice-Hall, Englewood Cliffs (1985)
Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)
Hoare, C.A.R., Roscoe, A.W.: Programs as executable predicates. In: Second International Conference on Fifth Generation Computer Systems, Tokyo, November 1984, pp. 220–228 (1984)
Hoare, C.A.R., Roscoe, A.W.: The laws of occam programming. Theoretical Computer Science 60(2), 177–229 (1988)
Homewood, M., May, D., Shepherd., R.: The ims t800 transputer. IEEE Micro 7(5), 10–26 (1987)
Inmos: The Transputer Instruction set: a compiler writer’s guide. Prentice hall, Englewood Cliffs (1988)
Inmos Ltd. occam-2 Reference Manual. Prentice Hall, Englewood Cliffs (1988)
May, D.: occam. Sigplan Notices 18(4), 69–79 (1983)
May, D.: Use of formal methods by a silicon manufacturer. In: Hoare, C.A.R. (ed.) Developments in Concurrency and Communication, pp. 107–129. Addison-Wesley, Reading (1990)
May, D.: Transputers and routers: components for concurrent machines. In: Proceedings of the 3rd Transputer/occam International Conference, Tokyo, May 1990, pp. 3–20. IOS Press, Amsterdam (1990)
May, D., Keane, C.: Compiling occam into silicon. In: Twentieth Hawaii International Conference on System Sciences, Hawaii, May 1987. IEEE, Los Alamitos (1987)
May, D., Shepherd, R.: The transputer implementation of occam. In: Second International Conference on Fifth Generation Computer Systems, Tokyo, november 1984, pp. 533–541 (1984)
Valiant, L.G.: A scheme for fast parallel communication. SIAM Journal on Computing 11(2), 350–361 (1982)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
May, D. (2005). CSP, occam and Transputers. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds) Communicating Sequential Processes. The First 25 Years. Lecture Notes in Computer Science, vol 3525. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11423348_5
Download citation
DOI: https://doi.org/10.1007/11423348_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25813-1
Online ISBN: 978-3-540-32265-8
eBook Packages: Computer ScienceComputer Science (R0)