The Computer Journal 29(6) 1986
(1986)
The Computer Journal
Hull, MEC (1986)
Hull, MEC "Implementations of the CSP notation for concurrent systems" pp500-505