UTP semantics of a calculus for mobile ad hoc networks
From MaRDI portal
Publication:2296293
DOI10.1007/978-3-030-31038-7_10zbMath1455.68030OpenAlexW2974167997MaRDI QIDQ2296293
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
Network design and communication in computer systems (68M10) Semantics in the theory of computing (68Q55)
This page was built for publication: UTP semantics of a calculus for mobile ad hoc networks