A notação CSP foi proposta por C.A.R. Hoare. É uma notação para descrever sistemas concorrentes cujos componentes são denominados processos, os quais interagem entre si e com o ambiente através de comunicação. Um evento é a interface pela qual um processo se comunica com o ambiente. Pode ser iniciado por um processo ou pelo ambiente externo, como outros processos ou objetos. Um processo, por sua vez, é definido em termos de eventos.
CSP foi altamente influente no design da linguagem de programação occam, INMOS document 72 occ 45 03. e também influenciou o design de linguagens de programação como Limbo, RaftLib, Erlang, Go, Crystal e core.async de Clojure.
Categoria:Notação matemática Categoria:1978 na informática Categoria:Computação concorrente