This paper presents a process calculus specifically designed to model systems based on the Internet of Things paradigm. We define a formal syntax and semantics for the calculus, and show how it can be used to reason about relevant examples. We also define two notions of bisimilarity, one capturing the behavior seen by the end user of the system, and one allowing compositional reasoning.
Internet of Things: a process calculus approach / Lanese, Ivan; Bedogni, Luca; Di Felice, Marco. - (2013), pp. 1339-1346. (Intervento presentato al convegno 28th Annual ACM Symposium on Applied Computing, SAC 2013 tenutosi a Coimbra, prt nel 18/3/2013 - 22/3/2013) [10.1145/2480362.2480615].
Internet of Things: a process calculus approach
Luca Bedogni;
2013
Abstract
This paper presents a process calculus specifically designed to model systems based on the Internet of Things paradigm. We define a formal syntax and semantics for the calculus, and show how it can be used to reason about relevant examples. We also define two notions of bisimilarity, one capturing the behavior seen by the end user of the system, and one allowing compositional reasoning.
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
