Stream Automata Are Coalgebras

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32784-1_6 ◽

2012 ◽

pp. 90-108 ◽

Cited By ~ 3

Author(s):

Vincenzo Ciancia ◽

Yde Venema

Download Full-text