VOLUME 8 | 2003 | NUMBER 2 |
On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation
Pages 361–395
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2003-361, author = {Eugene W. Stark}, title = {On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {8}, number = {2}, pages = {361--395}, year = {2003}, url = {https://doi.org/10.25596/jalc-2003-361}, doi = {10.25596/jalc-2003-361} }