Galloway, A.J. and Stoddart, W.J. "An operational semantics for ZCCS" p272

[Proceedings] (1997) 1st International Conference on Formal Engineering Methods (ICFEM '97) November 12 - 14, 1997 Hiroshima, JAPAN  

Languages mentioned ZCCS {1997}