9 citations · 22 across the 10 of their papers we have counts for
1 paper · 2 filters
Valentina Castiglioni, Ruggero Lanotte, Massimo Merro
We propose a process calculus for modelling systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with…