Compositionality for Probabilistic Automata
We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.
| Main Authors: | , , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149992 |