Equational reasoning on ad hoc networks

DOI10.1007/978-3-642-11623-0_6zbMATH Open1274.68009OpenAlexW1533829658WikidataQ57835338 ScholiaQ57835338MaRDI QIDQ3400916FDOQ3400916

Authors: Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink 

Publication date: 28 January 2010

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_6

Recommendations

• Equational reasoning on mobile ad hoc networks
• An observational theory for mobile ad hoc networks (full version)
• Verification of mobile ad hoc networks: an algebraic approach
• An Observational Theory for Mobile Ad Hoc Networks
• A process algebra for wireless mesh networks

Mathematics Subject Classification ID

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

Cited In (4)

• Verification of mobile ad hoc networks: an algebraic approach
• Equational reasoning on mobile ad hoc networks
• A calculus of trustworthy ad hoc networks
• A timed calculus for wireless systems

This page was built for publication: Equational reasoning on ad hoc networks

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