%T Monitoring occam channels by program transformation
%A Peter C. Capon, Adrian J. West
%E  Traian Muntean
%B OUG\-7: Parallel Programming of Transputer Based Machines