CommunicatingSequentialProcesses

CommunicatingSequentialProcesses is a concurrency model invented by TonyHoare. He wrote a (good) book about it by the same name. The book is now available for free online from http://www.usingcsp.com/.

Other similar models are listed under ProcessCalculus .

---

Professor Sir Charles Anthony Richard Hoare, FRS (TonyHoare) is currently [2003/2004] working at Microsoft's Cambridge (UK) research facility helping with a language based on CSP and C#: PolyphonicCeeSharp (now CeeOmega).

Other ProgrammingLanguages which have built-in support for CommunicatingSequentialProcesses include:

• OccamLanguage
• FiniteStateProcesses
• ErlangLanguage (similar in spirit to CSP)
• LimboLanguage
• AdaLanguage
• Squeak: a Language for Communicating with Mice by RobPike: http://doc.cat-v.org/bell_labs/squeak/ (whoever changed this to SqueakSmalltalk is ignorant of the fact that there exists two Squeaks: the SqueakSmalltalk and the Squeak language developed by Pike. Please click on the link before blindly assuming you know which is which. Thanks!)
• StacklessPython
• GoLanguage

Erlang uses a model that is closer to ActorsModel, and Ada is debatable: you can implement CSP relatively easily using task rendezvous, but it's really a shared state model.

---

Hardware implementations of CommunicatingSequentialProcesses also exist.

• SeaForthArchitecture
• TransPuter

---

Also see ProcessCalculus, SendReceiveReply, JoinCalculus, ActorsModel, JavaCsp, OhHaskell.

---

CategoryBook CategoryOnlineBook CategoryConcurrency