4 citations · 15 across the 9 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 4 cited
Equational Reasonings in Wireless Network Gossip Protocols
Ruggero Lanotte, Massimo Merro, Simone Tini
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analys…
cs.LO2017
A Probabilistic Calculus of Cyber-Physical Systems
Ruggero Lanotte, Massimo Merro, Simone Tini
We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilist…