@inproceedings{019c0f6b5ef2480c8c901edd397acfab,
title = "Analysing AWN-specifications using mCRL2 (extended abstract)",
abstract = "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.",
author = "{van Glabbeek}, Rob and Peter H{\"o}fner and {van der Wal}, Djurre",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2018.; 14th International Conference on Integrated Formal Methods, IFM 2018 ; Conference date: 05-09-2018 Through 07-09-2018",
year = "2018",
doi = "10.1007/978-3-319-98938-9_23",
language = "English",
isbn = "9783319989372",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "398--418",
editor = "Furia, {Carlo A.} and Kirsten Winter",
booktitle = "Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings",
address = "Germany",
}