Equational Reasoning on Mobile Ad Hoc Networks

DOI10.3233/FI-2010-371zbMath1209.68015OpenAlexW1866244685MaRDI QIDQ3084990

Fatemeh Ghassemi, Ali Movaghar, W. J. Fokkink

Publication date: 28 March 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-371

zbMATH Keywords

ad hoc networksaxiomatizationrestricted broadcast process theory

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Model checking mobile ad hoc networks ⋮ Query-Based Model Checking of Ad Hoc Network Protocols ⋮ Verification of mobile ad hoc networks: an algebraic approach ⋮ Unnamed Item ⋮ Characterising Testing Preorders for Broadcasting Distributed Systems

This page was built for publication: Equational Reasoning on Mobile Ad Hoc Networks