An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms

Б2.4, Б2.15, Б3.5.

Abdallah A. E., Green M..

An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms-Los Alamitos, Washington.: IEEE Computer Society// Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000, 2000.-P.189-198
Bibliogr.: p.197-198