CSP, occam and transputers

Authors:
David May
Affiliations:
Bristol University
Venue:
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Year:
2004

Citing 10
Cited 0

Mechanical proofs about computer programs

Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
The laws of Occam programming

Theoretical Computer Science
Formal Methods Applied to a Floating-Point Number System

IEEE Transactions on Software Engineering
Transputer instruction set: a compiler writer's guide

Transputer instruction set: a compiler writer's guide
Use of formal methods by a silicon manufacturer

Developments in concurrency and communication
Transputers and routers: components for concurrent machines

OUG-13 Proceedings of the 13th Occam user group technical meeting on Real-time systems with transputers
Model Checking in Practice: The T9000 Virtual Channel Processor

IEEE Transactions on Software Engineering
Communicating sequential processes

Communications of the ACM
OCCAM

ACM SIGPLAN Notices
The IMS T800 Transputer

IEEE Micro

Quantified Score

Hi-index	0.00

Visualization

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.