TY  - RPRT
TI  - HpC: A Calculus for Hybrid and Mobile Systems -- Full Version
AU  - Xiong Xu
AU  - Jean-Pierre Talpin
AU  - Shuling Wang
AU  - Hao Wu
AU  - Bohua Zhan
AU  - Xinxin Liu
AU  - Naijun Zhan
PY  - 2025
UR  - https://arxiv.org/abs/2501.09430
ID  - 2501.09430
ER  -