@inproceedings{SemiringControl,
  author    = {Roland Gl{\"{u}}ck and
               Bernhard M{\"{o}}ller and
               Michel Sintzoff},
  title     = {A Semiring Approach to Equivalences, Bisimulations and Control},
  booktitle = {Relations and Kleene Algebra in Computer Science, 11th International
               Conference on Relational Methods in Computer Science, RelMiCS 2009,
               and 6th International Conference on Applications of Kleene Algebra,
               {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
  pages     = {134--149},
  year      = {2009},
  editor    = {Rudolf Berghammer and
               Ali Jaoua and
               Bernhard M{\"{o}}ller},
  series    = {Lecture Notes in Computer Science},
  volume    = {5827},
  publisher = {Springer},
  url       = {http://dx.doi.org/10.1007/978-3-642-04639-1_10},
  doi       = {10.1007/978-3-642-04639-1_10},
}