Sergio Giro, Pedro R. D'Argenio
On the Expressive Power of Schedulers in Distributed Probabilistic Systems
QAPL, 2009.
@article{QAPL-2009-GiroD,
author = "Sergio Giro and Pedro R. D'Argenio",
doi = "10.1016/j.entcs.2009.10.005",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 3,
pages = "45--71",
title = "{On the Expressive Power of Schedulers in Distributed Probabilistic Systems}",
volume = 253,
year = 2009,
}