UTP semantics of a calculus for mobile ad hoc networks

DOI10.1007/978-3-030-31038-7_10MaRDI QIDQ2296293zbMATH OpenOpenAlexFDO

Authors Xi Wu, Huibiao Zhu, Wanling Xie

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-31038-7_10

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55)

Recommendations

• A process calculus for mobile ad hoc networks
• A Calculus for Mobile Ad Hoc Networks
• An observational theory for mobile ad hoc networks (full version)
• A calculus for mobile ad-hoc networks with static location binding
• A calculus for power-aware multicast communications in ad hoc networks

Cited in

(4)

• Observation-oriented semantics for calculus of wireless systems
• A calculus for power-aware multicast communications in ad hoc networks
• A Calculus for Mobile Ad Hoc Networks
• Formal methods for mobile ad hoc networks: a survey

This page was built for publication: UTP semantics of a calculus for mobile ad hoc networks

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