A calculus for mobile ad-hoc networks with static location binding

DOI10.1016/J.ENTCS.2009.06.018MaRDI QIDQ5170671zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A Calculus for Mobile Ad Hoc Networks
• A process calculus for mobile ad hoc networks
• An observational theory for mobile ad hoc networks (full version)
• An Observational Theory for Mobile Ad Hoc Networks
• A calculus of trustworthy ad hoc networks

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1390069 (Why is no real title available?)
• A Calculus for Mobile Ad Hoc Networks
• A calculus of mobile processes. II
• A framework for security analysis of mobile wireless networks
• A process calculus for mobile ad hoc networks
• A prospectus for mobile broadcasting systems
• An Observational Theory for Mobile Ad Hoc Networks
• Mobile ambients
• Mobile values, new names, and secure communication
• Towards a calculus for wireless systems

Cited in

(9)

• A Calculus for Mobile Ad Hoc Networks
• Verification of mobile ad hoc networks: an algebraic approach
• A process calculus for mobile ad hoc networks
• An observational theory for mobile ad hoc networks (full version)
• A calculus of trustworthy ad hoc networks
• Modeling and efficient verification of wireless ad hoc networks
• UTP semantics of a calculus for mobile ad hoc networks
• A timed calculus for wireless systems
• A calculus for power-aware multicast communications in ad hoc networks

This page was built for publication: A calculus for mobile ad-hoc networks with static location binding

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