Stream Automata Are Coalgebras

DOI10.1007/978-3-642-32784-1_6MaRDI QIDQ2914678zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Coalgebraic Automata Theory: Basic Results
• A coinductive calculus of streams
• Rational streams coalgebraically
• Hybrid automata as coalgebras
• scientific article; zbMATH DE number 1304993
• Complementation of coalgebra automata
• Automata and fixed point logics for coalgebras
• Generalizing determinization from automata to coalgebras
• Coalgebraic constructions of canonical nondeterministic automata
• Automata for coalgebras: an approach using predicate liftings

Cited in

(12)

• Languages and models for hybrid automata: a coalgebraic perspective
• Categorical Büchi and parity conditions via alternating fixed points of functors
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• A class of automata for the verification of infinite, resource-allocating behaviours
• Complementation of coalgebra automata
• scientific article; zbMATH DE number 1304993 (Why is no real title available?)
• A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
• A coalgebraic take on regular and -regular behaviours
• A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
• scientific article; zbMATH DE number 7649888 (Why is no real title available?)
• Stream processors and comodels
• Dual adjunction between -automata and Wilke algebra quotients

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)