Algebraic modeling of an ad hoc network for mobile computing

DOI10.1006/JPDC.2000.1718MaRDI QIDQ5949540zbMATH OpenOpenAlexFDO

Authors Panos A. Patsouris

Publication date 9 October 2002

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jpdc.2000.1718

zbMATH Keywords

ad hoc networkalgebraic modelmobile computing

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Towards an algebra of routing tables
• Verification of mobile ad hoc networks: an algebraic approach
• scientific article; zbMATH DE number 2110613
• Equational reasoning on mobile ad hoc networks
• scientific article; zbMATH DE number 2064467

Cited in

(3)

• Modeling Routing Protocols in Adhoc Networks
• A Calculus for Mobile Ad Hoc Networks
• Formal methods for mobile ad hoc networks: a survey

This page was built for publication: Algebraic modeling of an ad hoc network for mobile computing

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