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.
Type de document :
Communication dans un congrès
Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.157-174, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_10〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01631725
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 novembre 2017 - 16:14:17
Dernière modification le : jeudi 9 novembre 2017 - 16:15:52
Document(s) archivé(s) le : samedi 10 février 2018 - 14:08:05

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ruggero Lanotte, Massimo Merro. A Semantic Theory of the Internet of Things. Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.157-174, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_10〉. 〈hal-01631725〉

Partager

Métriques

Consultations de la notice

43