Compositionality for Probabilistic Automata

N.A. Lynch, R. Segala and F.W. Vaandrager. Compositionality for Probabilistic Automata. In R. Amadio and D. Lugiez, editors. Proceedings 14th International Conference on Concurrency Theory (CONCUR 2003), Marseille, France, September 3-5, 2003. LNCS 2761, pages 208-221. Springer-Verlag, 2003. The full version has been submitted to a journal. It is available as Technical Report NIII-R0444, NIII, Radboud University Nijmegen, November 2004.


We establish that on the domain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.

CONCUR version
TR version