PLITS

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).