Compositionality for Probabilistic Automata

14 years 5 months ago

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

Nancy A. Lynch, Roberto Segala, Frits W. Vaandrage

CONCUR 2003 | Distribution Precongruence Coincides | Probabilistic Automata |

claim paper

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	CONCUR
Authors	Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager

Comments (0)