Stream Automata Are Coalgebras

DOI10.1007/978-3-642-32784-1_6zbMath1327.68151OpenAlexW2410691440MaRDI QIDQ2914678

Vincenzo Ciancia, Yde Venema

Publication date: 20 September 2012

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical Büchi and parity conditions via alternating fixed points of functors ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

This page was built for publication: Stream Automata Are Coalgebras