@inproceedings{83dbf363b1434a988dffac6ec19a6494,
title = "A Timed Calculus with Mobility for Wireless Networks",
abstract = "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.",
keywords = "MTCWN calculus, node mobility, operational semantics, wireless networks",
author = "Wanling Xie and Huibiao Zhu and Xi Wu",
note = "Publisher Copyright: {\textcopyright} 2023 ACM.; 4th International Conference on Computing, Networks and Internet of Things, CNIOT 2023 ; Conference date: 26-05-2023 Through 28-05-2023",
year = "2023",
month = may,
day = "26",
doi = "10.1145/3603781.3603896",
language = "英语",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery",
pages = "653--657",
booktitle = "Conference Proceeding - 2023 4th International Conference on Computing, Networks and Internet of Things, CNIOT 2023",
address = "美国",
}