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