Internet of things: a process calculus approach

Ivan Lanese 1, 2 Luca Bedogni 1 Marco Di Felice 1
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
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.
Type de document :
Communication dans un congrès
Sung Y. Shin and José Carlos Maldonado. SAC, 2013, Coimbra, Portugal. ACM, pp.1339-1346, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00909303
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:45:41
Dernière modification le : samedi 27 janvier 2018 - 01:30:58

Identifiants

  • HAL Id : hal-00909303, version 1

Collections

Citation

Ivan Lanese, Luca Bedogni, Marco Di Felice. Internet of things: a process calculus approach. Sung Y. Shin and José Carlos Maldonado. SAC, 2013, Coimbra, Portugal. ACM, pp.1339-1346, 2013. 〈hal-00909303〉

Partager

Métriques

Consultations de la notice

142