Analysing AWN-Specifications Using mCRL2 (Extended Abstract)

DOI10.1007/978-3-319-98938-9_23MaRDI QIDQ6162221zbMATH OpenFDO

Authors Rob van Glabbeek, Peter Höfner

Publication date 28 June 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://ris.utwente.nl/ws/files/89005525/WalAnalysingAWN.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Analysis of distributed systems with mCRL2
• scientific article; zbMATH DE number 1796138
• scientific article; zbMATH DE number 1693530
• Algebraic Methodology and Software Technology
• Towards an independent semantics and verification technology for the HLPSL specification language

Cites work

• A process algebra for wireless mesh networks
• A structural approach to operational semantics
• A timed process algebra for wireless networks with an application in routing (extended abstract)
• Algebraic laws for nondeterminism and concurrency
• An overview of the mCRL2 toolset and its recent advances
• Formal Methods for the Design of Real-Time Systems
• scientific article; zbMATH DE number 3978362 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2086957 (Why is no real title available?)
• Mechanizing a process algebra for network protocols
• Modeling and analysis of communicating systems
• Modelling and verifying the AODV routing protocol
• The coarsest precongruences respecting safety and liveness properties
• Using branching time temporal logic to synthesize synchronization skeletons

Cited in

(1)

• Formal methods for mobile ad hoc networks: a survey

This page was built for publication: Analysing AWN-Specifications Using mCRL2 (Extended Abstract)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6162221)