Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms

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]

Abstract

Abstract is missing.