CSP with extensions to allow asymmetrical and asynchronous communications and fault handling. Implemented on a network of Suns.
References:
Spezzano, G. et al, "A Concurrent Programming Support for Distributed Systems", in Computing Systems vol 3, pp.423-447, U Cal Press, 1990. view details