9 citations · 22 across the 10 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 4 cited
A Semantic Theory of the Internet of Things
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…
cs.PL2015
Semantics for Locking Specifications
Michael Ernst, Damiano Macedonio, Massimo Merro +1
To prevent concurrency errors, programmers need to obey a locking discipline. Annotations that specify that discipline, such as Java's @GuardedBy, are already widely used. Unfortun…