Equational reasoning on ad hoc networks

DOI10.1007/978-3-642-11623-0_6MaRDI QIDQ3400916zbMATH OpenOpenAlexWikidataFDO

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

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)

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

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)