Stream Automata Are Coalgebras

Vincenzo Ciancia, Yde Venema. Stream Automata Are Coalgebras. In Dirk Pattinson, Lutz Schröder, editors, Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers. Volume 7399 of Lecture Notes in Computer Science, pages 90-108, Springer, 2012. [doi]

@inproceedings{CianciaV12,
  title = {Stream Automata Are Coalgebras},
  author = {Vincenzo Ciancia and Yde Venema},
  year = {2012},
  doi = {10.1007/978-3-642-32784-1_6},
  url = {http://dx.doi.org/10.1007/978-3-642-32784-1_6},
  researchr = {https://researchr.org/publication/CianciaV12},
  cites = {0},
  citedby = {0},
  pages = {90-108},
  booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers},
  editor = {Dirk Pattinson and Lutz Schröder},
  volume = {7399},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32783-4},
}