Stream Automata Are Coalgebras

DOI10.1007/978-3-642-32784-1_6zbMATH Open1327.68151OpenAlexW2410691440MaRDI QIDQ2914678FDOQ2914678

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)

Cited In (6)

• A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
• Title not available (Why is that?)
• Categorical Büchi and parity conditions via alternating fixed points of functors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series

Recommendations

• Title not available (Why is that?) 👍 👎
• Rational streams coalgebraically 👍 👎
• A coinductive calculus of streams 👍 👎
• Complementation of Coalgebra Automata 👍 👎
• Coalgebraic Automata Theory: Basic Results 👍 👎
• Coalgebraic constructions of canonical nondeterministic automata 👍 👎
• Generalizing determinization from automata to coalgebras 👍 👎
• Automata for Coalgebras: An Approach Using Predicate Liftings 👍 👎
• Hybrid Automata as Coalgebras 👍 👎
• Automata and fixed point logics for coalgebras 👍 👎

This page was built for publication: Stream Automata Are Coalgebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2914678)