Open AccessHpC: A Calculus for Hybrid and Mobile Systems
Author(s) -
Xiong Xu,
Jean-Pierre Talpin,
Shuling Wang,
Hao Wu,
Bohua Zhan,
Xinxin Liu,
Naijun Zhan
Publication year - 2025
Language(s) - English
DOI - 10.48550/arxiv.2501.09430
Subject(s) - computer science , bisimulation , correctness , process calculus , context (archaeology) , distributed computing , topology (electrical circuits) , theoretical computer science , mathematics , programming language , paleontology , combinatorics , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom