A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Playing with Probabilities in Reconfigurable Broadcast Networks
[chapter]
2014
Lecture Notes in Computer Science
We study verification problems for a model of network with the following characteristics: the number of entities is parametric, communication is performed through broadcast with adjacent neighbors, entities can change their internal state probabilistically and reconfiguration of the communication topology can happen at any time. The semantics of such a model is given in term of an infinite state system with both non deterministic and probabilistic choices. We are interested in qualitative
doi:10.1007/978-3-642-54830-7_9
fatcat:h7ercf5lvfdf5bf33dewuyl3zy