Compositionality for Probabilistic Automata

Appears: Proceedings of the 14th International Conference on Concurrency Theory (CONCUR '03), Marseille, France, LNCS 2761, pages 208--221, August 2003.

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

Download:
Download the paper from the publisher.

Download an author-created copy of the paper (© Springer-Verlag).