A graphical tool for the visualization and animation of communicating sequential processes

Abdallah, Ali E. (1998) A graphical tool for the visualization and animation of communicating sequential processes. In: Euro-Par’98 Parallel Processing. Springer, Berlin, Heidelberg, pp. 165-172. ISBN 978-3-540-49920-6

Full text not available from this repository. (Request a copy)

Abstract

This paper describes some aspects of an interactive graphical tool designed to exhibit, through animation, the dynamic behaviour of parallel systems of communicating processes. The tool, called VisualNets, provides functionalities for visually creating graphical representations of processes, connecting them via channels, defining their behaviours in Hoare’s CSP notation and animating the evolution of their visulization with time. The tool is very useful for understanding concurrency, analysing various aspects of distributed message-passing algorithms, detecting deadlocks, identifying computational bottlenecks, and estimating the performance of a class of parallel algorithms on a variety of MIMD parallel machines.

Item Type: Book Section
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 07 Apr 2017 11:39
Last Modified: 07 Apr 2017 11:39
URI: http://www.open-access.bcu.ac.uk/id/eprint/4239

Actions (login required)

View Item View Item

Research

In this section...