HpC: A Calculus for Hybrid and Mobile Systems -- Full Version

Xiong Xu, Jean-Pierre Talpin, Shuling Wang +4

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 mobil…