A Timed Calculus with Mobility for Wireless Networks
Wanling Xie, Huibiao Zhu, Xi Hong Wu · 2023
Unreliability of communication links is a very common problem in wireless networks, and node mobility as one of significant features may importantly affect the reliability of communication links. In this paper, we present a Timed Calculus with Mobility for Wireless Networks called MTCWN to capture mobility in wireless networks. In our calculus, we introduce a random direction mobility model to depict node movement. With time passing, the mobility function and its timeout will be changed by this mobility model. Our calculus also describe local broadcast communication in wireless networks. Moreover, we study the operational semantics of the MTCWN calculus and illustrate the applications of the semantics rules by examples.