David May
- E. Brunvand and R. F. Sproull. 1989. Translating concurrent programs into delay insensitive circuits. In International Conference on Computer Aided Design. IEEE, 262–265. DOI: .Google Scholar
Cross Ref
- C. A. R. Hoare. 1978. Communicating sequential processes. Commun. ACM 21, 8, 666–677. DOI: .Google ScholarDigital Library
- C. A. R. Hoare. 1990. Developments in Concurrency and Communication. Addison Wesley Longman, Boston, MA, USA.Google Scholar
- C. A. R. Hoare and R. Elliott. 1984. Mathematical Logic and Programming Languages. Philos. Trans. R. Soc. A 312, 1522, 343–518.Google Scholar
- C. A. R. Hoare and R. Elliott. 1988. Solving Scientific Problems on Multiprocessors. Philos. Trans. R. Soc. A 326, 1591, 355–499.Google Scholar
- C. A. R. Hoare and M. J. C. Gordon. 1992. Mechanised Reasoning and Hardware Design. Philos. Trans. R. Soc. A 339, 1652, 1–151.Google Scholar
- C. A. R. Hoare and A. W. Roscoe. November 1984. Programs as executable predicates. In Proceedings of the International Conference of Fifth Generation Computer Systems, Tokyo. North-Holland, 220–228.Google Scholar
- M. Homewood, D. May, D. Shepherd, and R. Shepherd. 1987. The IMS T800 transputer. IEEE Micro 7, 10–26. DOI: .Google ScholarDigital Library
- Inmos. 1983. Occam Programming Manual. Prentice Hall International, Englewood Cliffs, NJ.Google Scholar
- Inmos. 1988. Occam 2 Reference Manual. Prentice Hall International, Englewood Cliffs, NJ. DOI: .Google ScholarCross Ref
- D. May. 1983. Occam. ACM SIGPLAN Not. 18, 69–79. DOI: .Google ScholarDigital Library
- D. May. 2012. The XMOS architecture and XS1 chips. IEEE Micro 32, 28–37. DOI: .Google ScholarDigital Library
- D. May and R. Shepherd. November 1984. The transputer implementation of occam. In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo. 533–541.Google Scholar
- I. Page and W. Luk. 1991. Compiling occam into field programmable gate arrays. In FPGAs, Oxford Workshop on Field Programmable Logic and Applications. Abingdon EE&CS Books, 271–283.Google Scholar
- A. W. Roscoe. 1994. Model-checking CSP. In A Classical Mind: Essays in Honour of C.A.R. Hoare, chapter 21. Prentice-Hall.Google Scholar
- A. W. Roscoe and C. A. R. Hoare. February 1986. The Laws of occam Programming. Technical Report Technical Monograph PRG-53, Oxford University Computing Laboratory Programming Research Group. DOI: .Google Scholar
Index Terms
- CSP, Occam, and Inmos
Index terms have been assigned to the content through auto-classification.
Recommendations
A fully parallel, multi-processor hardware and software system using Inmos transputers and the OCCAM programming language
NATUG-1: Proceedings of the first conference of the North American Transputer Users Group on Transputer research and applications 1CSP, occam and transputers
CSP'04: Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 YearsThe 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 ...
Comments