%T Monitoring occam channels by program transformation
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A Peter C. Capon, Adrian J. West
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%E  Traian Muntean
%B OUG\-7: Parallel Programming of Transputer Based Machines