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

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA)
Hlavní autoři:	Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	ACM 15.10.2025
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!