E.W. Dijkstra. Cooperating Sequential Processes. EWD 123. 1968.

Languages that exploit shared variables include Java.

C.A.R. Hoare. Communicating Sequential Processes . Communications of the ACM, 21(8):666-677, August 1978.

Widely referred as CSP.

Languages that exploit synchronous message passing include Occam and Ada.

Languages that exploit asynchronous message passing include Pict and Erlang.

Relavent information: Kahn process networks (KPN) and Synchronous data flow (SDF)

An introduction to Pict.

An example of a language that exploits this paradigm is ccp - concurrent constraint programming language.

Jo and Oz are examples of concurrent constraint programming language.

Jo: A Concurrent Constraint Programming Language

Object-Oriented Concurrent Constraint Programming in Oz

One extension of this language has also been introduced with temporal/timed constraints and is called tccp - timed concurrent constraint programming language. The motivation was to use this language in real-time/reactive systems.

Introduced by F.S. de Boer et al.

A Timed Concurrent Constraint Language - DOI: http://dx.doi.org/10.1006/inco.1999.2879

Languages that exploit coordination model include Linda.

Coordination Langauges and their Significance http://www.caip.rutgers.edu/~virajb/readinglist/coordinationlang.pdf Communications of the ACM(1992),Carriero Nicholas