VOLUME 8 2003 NUMBER 2

Weak Bisimulation for (max/+) Automata and Related Models
Peter Buchholz, Peter Kemper
Pages 187–218





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2003-187,
  author  = {Peter Buchholz and Peter Kemper},
  title   = {Weak Bisimulation for (max/+) Automata and Related Models},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {8},
  number  = {2},
  pages   = {187--218},
  year    = {2003},
  url     = {https://doi.org/10.25596/jalc-2003-187},
  doi     = {10.25596/jalc-2003-187}
}
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: weighted automata, dioids, weak bisimulation, composition
DOI: 10.25596/jalc-2003-187