13 citations · 54 across the 15 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 1 cited
Tool Supported Analysis of IoT
Chiara Bodei, Pierpaolo Degano, Letterio Galletta +1
The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while…
cs.LO2017★ 6 cited
Choreographies for Automatic Recovery
Claudio Antares Mezzina, Emilio Tuosto
We propose a choreographic model of reversible computations based on a conservative extension of global graphs and communicating finite-state machines. The main advantage of our ap…