Reachability in Networks of Register Protocols under Stochastic Schedulers.

Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan

Browse the full ICALP paper archive.