Simulation of distributed algorithms using OCCAM. - Andrew E. Love Jr; Maurice F. Aburdene (Simul., 1990)