Editing Communicating sequential processes (section)

== 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 [[Macro (computer science)|macros]] added to [[Verilog HDL]] to support communicating sequential processes channel communications.
* [[Joyce (programming language)|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 (programming language)|Joyce]].
* [[Ada (programming language)|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.