Probabilistic asynchronous automata

  title={Probabilistic asynchronous automata},
  author={S. Jesi and Giovanni Pighizzini and Nicoletta Sabadini},
  journal={Mathematical systems theory},
Asynchronous automata were introduced by W. Zielonka as an algebraic model of distributed systems, showing that the class of trace languages recognizable by automata over free partially commutative monoids coincides with the class of trace languages recognizable by deterministic asynchronous automata. In this paper we extend the notion of asynchronous automata to the probabilistic case. Our main result is a nontrivial generalization to Zielonka's theorem: we prove that the sets of behaviors of… CONTINUE READING