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 tenutosi a Coimbra, Portugal 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.
2013
28th Annual ACM Symposium on Applied Computing
Coimbra, Portugal
18/3/2013 - 22/3/2013
1339
1346
Lanese, Ivan; Bedogni, Luca; Di Felice, Marco
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 tenutosi a Coimbra, Portugal nel 18/3/2013 - 22/3/2013) [10.1145/2480362.2480615].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1187468
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 46
  • ???jsp.display-item.citation.isi??? ND
social impact