External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Vincenzo Ciancia

This author has not been identified. Look up 'Vincenzo Ciancia' in Google

Yde Venema

This author has not been identified. Look up 'Yde Venema' in Google
runs on