An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms

A. E. Abdallah, M. Green

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods
    EditorsJohn A. McDermid, Shaoying Liu, Michael G. Hinchey
    PublisherInstitute of Electrical and Electronics Engineers Inc.
    Pages189-198
    Number of pages10
    ISBN (Electronic)0769508227, 9780769508221
    DOIs
    Publication statusPublished (VoR) - 2000
    Event3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000 - York, United Kingdom
    Duration: 4 Sept 20006 Sept 2000

    Publication series

    NameICFEM 2000 - 3rd IEEE International Conference on Formal Engineering Methods

    Conference

    Conference3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000
    Country/TerritoryUnited Kingdom
    CityYork
    Period4/09/006/09/00

    Keywords

    • Animation
    • Computer science
    • Formal specifications
    • Java
    • Mathematics
    • Message passing
    • Parallel processing
    • Research and development
    • Timing
    • Visualization

    Fingerprint

    Dive into the research topics of 'An integrated CSP-based tool for the visualisation, animation and performance evaluation of message passing algorithms'. Together they form a unique fingerprint.

    Cite this