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á bibliografia

Vydané v:	Proceedings of ACM on programming languages Ročník Object-Oriented Programming, Systems, Languages and Applications (SPLASH/OOPSLA)
Hlavní autori:	Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	ACM 15.10.2025
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!