A Graphical Tool for the Visualization and Animation of Communicating Sequential Processes

Ali E. Abdallah

Abstract
This paper describes is an interactive graphical tool for assisting the specification, design, visualisation, simulation, and animationof synchronous networks of communicating deterministic sequential processes. The tool is very useful for understanding concurrency, analysing various aspects of distributed message-passing algorithms, illustrating parallel programming paradigms, detecting deadlocks, identifying computational bottlenecks, and estimating the performance of a class of parallel algorithms on a variety of MIMD parallel machines with different characteristics.
Contact
Ali E. Abdallah
Department of Computer Science,The University of Reading ,Reading, RG6 6AY, UK ,
A.Abdallah@reading.ac.uk