Real-Time Migration Properties of rTiMo Verified in Uppaal
This paper extends the TiMo family by introducing a real-time version named r TiMo. The r
TiMo processes are able to move between different locations of a distributed environment …
TiMo processes are able to move between different locations of a distributed environment …
[PDF][PDF] A modified parallel thinning algorithm
YY Zhang, PSP Wang - 9th international Conference on Pattern …, 1988 - researchgate.net
Abstract A parallel thinning algorithm [1](Holt etc.) is compared with algorithm [2](Rutovitz)
and [3](Zhang and Suen). Analyses and experiments show that the algorithm [1] is similar to …
and [3](Zhang and Suen). Analyses and experiments show that the algorithm [1] is similar to …
HpC: A Calculus for Hybrid and Mobile Systems
X Xu, JP Talpin, S Wang, H Wu, B Zhan, X Liu… - Proceedings of the …, 2025 - hal.science
Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian
and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile …
and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile …
A UTP approach for rTiMo
W **e, S **ang, H Zhu - Formal Aspects of Computing, 2018 - Springer
Abstract rTiMo is a real-time version of TiMo (Timed Mobility), which is a process algebra for
mobile distributed systems. In this paper, we investigate the denotational semantics for …
mobile distributed systems. In this paper, we investigate the denotational semantics for …
A Proof System for the SMrCaIT Calculus
N Chen, H Zhu - ACM Transactions on Embedded Computing Systems, 2024 - dl.acm.org
The rapid development of the Internet of Things (IoT) spurs strong global demand for related
applications and technologies, especially in enhancing system reliability and security …
applications and technologies, especially in enhancing system reliability and security …
A process calculus BigrTiMo of mobile systems and its formal semantics
W **e, H Zhu, Q Xu - Formal Aspects of Computing, 2021 - Springer
In this paper, we present a process calculus called BigrTiMo that combines the rTiMo
calculus and the Bigraph model. BigrTiMo calculus is capable of specifying a rich variety of …
calculus and the Bigraph model. BigrTiMo calculus is capable of specifying a rich variety of …
HpC: A Calculus for Hybrid and Mobile Systems--Full Version
Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian
and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile …
and industrial infrastructures into an interconnected and dynamic web of hybrid and mobile …
Formalization and verification of mobile systems calculus using the rewriting engine Maude
W **e, H Zhu, M Zhang, G Lu… - 2018 IEEE 42nd Annual …, 2018 - ieeexplore.ieee.org
BigTiMo calculus is for structure-aware mobile systems and it combines the TiMo calculus
and the Bigraph model. Compared with TiMo, BigTiMo can model not only the locations of …
and the Bigraph model. Compared with TiMo, BigTiMo can model not only the locations of …
A process calculus SMrCaIT for IoT
N Chen, H Zhu - Journal of Software: Evolution and Process, 2024 - Wiley Online Library
With the rapid popularization of smart devices, the applications and technologies of the
Internet of Things (IoT) are in high demand worldwide, especially in improving development …
Internet of Things (IoT) are in high demand worldwide, especially in improving development …
Automatic analysis of TiMo systems in PAT
TiMo is a process calculus for mobile systems where timers could be to used to control
process mobility and interaction. Despite its syntactic simplicity, TiMo is able to describe …
process mobility and interaction. Despite its syntactic simplicity, TiMo is able to describe …