Operational Semantics and a Distributed Implementation of CSP.

Gerlinde Schreiber Operational Semantics and a Distributed Implementation of CSP. 444-454 1987 conf/mfps/1987 MFPS db/conf/mfps/mfps1987.html#Schreiber87 http://dx.doi.org/10.1007/3-540-19020-1_24