VOLUME 8 2003 NUMBER 2
On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation
Eugene W. Stark
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}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: probabilistic I/O automata, weighted automata, continuous-time Markov chains, probabilistic bisimulation, lumpability
DOI: 10.25596/jalc-2003-361