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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages Jg. Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA)
Hauptverfasser:	Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	ACM 15.10.2025
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!