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 devices. The key feature of such systems is the hybrid and tight coupling of mobile and pervasive discrete communicati...

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA)
Main Authors:	Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun
Format:	Journal Article
Language:	English
Published:	ACM 15.10.2025
Subjects:	Computer Science Programming Languages Theory of computation Hybrid Systems Operational semantics Bisimulation Timed and hybrid models Internet of Things Algebraic language theory Process calculi
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!