Analysing AWN-specifications using mCRL2 (extended abstract)

Rob van Glabbeek, Peter Höfner, Djurre van der Wal

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    2 Citations (Scopus)


    We develop and implement a translation from the process Algebra for Wireless Networks (AWN) into the milli Common Representation Language (mCRL2). As a consequence of the translation, the sophisticated toolset of mCRL2 is now available for AWN-specifications. We show that the translation respects strong bisimilarity; hence all safety properties can be automatically checked using the toolset. To show usability of our translation we report on a case study.
    Original languageEnglish
    Title of host publicationIntegrated Formal Methods - 14th International Conference, IFM 2018, Proceedings
    Subtitle of host publication14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
    EditorsCarlo A. Furia, Kirsten Winter
    Number of pages21
    ISBN (Electronic)978-3-319-98938-9
    ISBN (Print)978-3-319-98937-2
    Publication statusPublished - 9 Aug 2018

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Dive into the research topics of 'Analysing AWN-specifications using mCRL2 (extended abstract)'. Together they form a unique fingerprint.

    Cite this