@inproceedings{d5021da5a3ec4b84909b3653b3bae9ef,
title = "An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms",
keywords = "Animation, Computer science, Formal specifications, Java, Mathematics, Message passing, Parallel processing, Research and development, Timing, Visualization",
author = "Abdallah, {A. E.} and M. Green",
note = "Publisher Copyright: {\textcopyright} 2000 IEEE.; 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000 ; Conference date: 04-09-2000 Through 06-09-2000",
year = "2000",
doi = "10.1109/ICFEM.2000.873819",
language = "English",
series = "ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "189--198",
editor = "McDermid, {John A.} and Shaoying Liu and Hinchey, {Michael G.}",
booktitle = "ICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods",
}