%T Use of occam for the validation of distributed discrete event driven simulation
%A  A. H. Djahanguir,  J. C. Geffroy
%E  Andr\[`e] W. P. Bakkers
%B OUG\-10: Applying Transputer Based Parallel Machines