A Calculus for Mobile Ad-hoc Networks with Static Location Binding

DOI10.1016/J.ENTCS.2009.06.018zbMath1291.68286OpenAlexW2047588704MaRDI QIDQ5170671

Jens Chr. Godskesen

Publication date: 23 July 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.018

zbMATH Keywords

process calculimobile ad-hoc networkCMANstatis location binding

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Modeling and efficient verification of wireless ad hoc networks ⋮ A timed calculus for wireless systems ⋮ Verification of mobile ad hoc networks: an algebraic approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A framework for security analysis of mobile wireless networks
• A process calculus for mobile ad hoc networks
• A calculus of mobile processes. II
• Mobile ambients
• A Calculus for Mobile Ad Hoc Networks
• Mobile values, new names, and secure communication
• An Observational Theory for Mobile Ad Hoc Networks
• A Prospectus for Mobile Broadcasting Systems

This page was built for publication: A Calculus for Mobile Ad-hoc Networks with Static Location Binding