@misc{indiciaed81ab683d98f,
  title = {HpC: A Calculus for Hybrid and Mobile Systems -- Full Version},
  author = {Xiong Xu and Jean-Pierre Talpin and Shuling Wang and Hao Wu and Bohua Zhan and Xinxin Liu and Naijun Zhan},
  year = {2025},
  url = {https://arxiv.org/abs/2501.09430},
  note = {Source identifier: 2501.09430}
}