NERECO
NERECO
CSP with extensions to allow asymmetrical and asynchronouscommunications and fault handling. It is implemented on anetwork of Suns.
["A Concurrent Programming Support for Distributed Systems",G. Spezzano et al, in Computing Systems vol 3, pp.423-447, UCal Press, 1990].