A Semantic Theory of the Internet of Things

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.
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-01631725
Contributor : Hal Ifip <>
Submitted on : Thursday, November 9, 2017 - 4:14:17 PM
Last modification on : Thursday, November 9, 2017 - 4:15:52 PM
Long-term archiving on : Saturday, February 10, 2018 - 2:08:05 PM

File

416253_1_En_10_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

66

Files downloads

90