Communicating sequential processes
Comunicación de Procesos Secuenciales
- Date
- 1978 · confidence high
- Place
- Oxford, England, United Kingdom
- Credited to
- Tony Hoare
- Field
- Knowledge & symbols
What it is
Formal language devised by Tony Hoare to describe patterns of interaction between concurrent processes that communicate by message passing through channels, within the family of process algebras.
What it led to
- Decisive influence on the design of the occam programming language
- Inspiration for later concurrent languages such as Go, Erlang and Clojure
- Industrial application in verifying critical systems, such as the T9000 transputer