and receivers. Note that the aforementioned properties do not necessarily refer to the original CSP paper by Hoare, but rather the modern incarnation of the idea as seen in implementations such as Golang and Clojure's core.async. In the original paper, channels were not a central part of the specification, and the sender and receiver processes actually identify each other by name. Award In 1990, “A Queen’s Award for Technological Achievement has been conferred ... on [Oxford University] Computing Laboratory. The award recognises a successful collaboration between the laboratory and Inmos Ltd. … Inmos’ flagship product is the ‘transputer’, a microprocessor with many of the parts that would normally be needed in addition built into the same single component.” According to Tony Hoare, “The INMOS Transputer was as embodiment of the ideas … of building microprocessors that could communicate with each other along wires that would stretch between their terminals. The founder had the vision that the CSP ideas were ripe for industrial exploitation, and he made that the basis of the language for programming Transputers, which was called Occam. … The company estimated it enabled them to deliver the hardware one year earlier than would otherwise have happened. They applied for and won a Queen’s award for technological achievement, in conjunction with Oxford University Computing Laboratory.” See also Trace theory, the general theory of traces. Trace monoid and history monoid Ease programming language XC programming language VerilogCSP is a set of macros added to Verilog HDL to support communicating sequential processes channel communications. Joyce is a programming language based on the principles of CSP, developed by Brinch Hansen around 1989. SuperPascal is a programming language also developed by Brinch Hansen, influenced by CSP and his earlier work with Joyce. Ada implements features of CSP such as the rendezvous. DirectShow is the video framework inside DirectX, it uses the CSP concepts to implement the audio and video filters. OpenComRTOS is a formally developed network-centric distributed RTOS based on a pragmatic superset of CSP. Input/output automaton Parallel programming model TLA+ is another formal language for modelling and verifying concurrent systems. References Further reading This book has been updated by Jim Davies at the Oxford University Computing Laboratory and the new edition is available for download as a PDF file at the Using CSP website. Some links relating to this book are available here. The full text is available for download as a