4 citations · 15 across the 9 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…