UTP semantics of a calculus for mobile ad hoc networks

DOI10.1007/978-3-030-31038-7_10zbMATH Open1455.68030OpenAlexW2974167997MaRDI QIDQ2296293FDOQ2296293

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• 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

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)