Sergio Giro, Pedro R. D'Argenio, Luis MarĂa Ferrer Fioriti. Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms. Theoretical Computer Science, 538:84-102, 2014. [doi]
No reviews for this publication, yet.