A Semantic Theory of the Internet of Things - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

A Semantic Theory of the Internet of Things

(1) , (2)
1
2

Abstract

We propose a process calculus for modelling and reasoning on systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with smart devices, via short-range and Internet channels. The calculus is equipped with a standard notion of labelled bisimilarity which represents a fully abstract characterisation of a well-known contextual equivalence. We use our semantic proof-methods to prove run-time properties of a non-trivial case study as well as system equalities.
Fichier principal
Vignette du fichier
416253_1_En_10_Chapter.pdf (733.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01631725 , version 1 (09-11-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Ruggero Lanotte, Massimo Merro. A Semantic Theory of the Internet of Things. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.157-174, ⟨10.1007/978-3-319-39519-7_10⟩. ⟨hal-01631725⟩
52 View
87 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More