A Calculus for Mobile Ad Hoc Networks

DOI10.1007/978-3-540-72794-1_8zbMath1292.68108OpenAlexW2131373949MaRDI QIDQ3634642

Jens Chr. Godskesen

Publication date: 25 June 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-72794-1_8

Mathematics Subject Classification ID

Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Related Items (16)

Model checking mobile ad hoc networks ⋮ Mechanizing a process algebra for network protocols ⋮ Modelling and verifying the AODV routing protocol ⋮ Modeling and efficient verification of wireless ad hoc networks ⋮ Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ A semantic theory of the Internet of things ⋮ A timed calculus for wireless systems ⋮ A calculus of trustworthy ad hoc networks ⋮ An operational semantics for a calculus for wireless systems ⋮ A Calculus for Mobile Ad-hoc Networks with Static Location Binding ⋮ A process calculus for mobile ad hoc networks ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ Unnamed Item ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ An observational theory for mobile ad hoc networks (full version) ⋮ Broadcast Psi-calculi with an Application to Wireless Protocols

This page was built for publication: A Calculus for Mobile Ad Hoc Networks