UTP semantics of a calculus for mobile ad hoc networks

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

Wanling Xie, Huibiao Zhu, Xi Wu

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 (1)

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