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