NERECO
NEtwork REmote COmmunications.
CSP with extensions to allow asymmetrical and asynchronous communications and fault handling. It is implemented on a network of Suns.
["A Concurrent Programming Support for Distributed Systems", G. Spezzano et al, in Computing Systems vol 3, pp.423-447, U Cal Press, 1990].