Tiejun Gao An analytic semantics of CSP. 107-122 1991 15 Fundam. Inform. 2 db/journals/fuin/fuin15.html#Gao91