A Calculus for Mobile Ad Hoc Networks
From MaRDI portal
Publication:3634642
DOI10.1007/978-3-540-72794-1_8zbMath1292.68108OpenAlexW2131373949MaRDI 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
Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)
Related Items
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
