Programming Language In The Sky. A computational model for concurrency with communication via asynchronous message-passing.

["High Level Programming for Distributed Computing", J.A. Feldman, CACM 22(6):353- 368 (Jun 1979)].