A Calculus for Mobile Ad Hoc Networks
From MaRDI portal
Publication:3634642
DOI10.1007/978-3-540-72794-1_8zbMath1292.68108MaRDI QIDQ3634642
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
94A60: Cryptography
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M12: Network protocols
Related Items
Unnamed Item, A Calculus for Mobile Ad-hoc Networks with Static Location Binding, Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks, Mechanizing a process algebra for network protocols, Modelling and verifying the AODV routing protocol, A calculus of trustworthy ad hoc networks, A timed calculus for wireless systems, Modeling and analyzing mobile ad hoc networks in Real-Time Maude, An operational semantics for a calculus for wireless systems, A process calculus for mobile ad hoc networks, An observational theory for mobile ad hoc networks (full version), Modeling and efficient verification of wireless ad hoc networks, A semantic theory of the Internet of things, Model checking mobile ad hoc networks, Depletable channels: dynamics, behaviour, and efficiency in network design, Broadcast Psi-calculi with an Application to Wireless Protocols