Rational streams coalgebraically

DOI10.2168/LMCS-4(3:9)2008MaRDI QIDQ3535615zbMATH OpenOpenAlexFDO

Authors Jan J. M. M. Rutten

Publication date 13 November 2008

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-4(3:9)2008

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45)

Recommendations

• On the final coalgebra of automatic sequences
• Elements of stream calculus (an extensive exercise in coinduction)
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• A coinductive calculus of streams
• A final coalgebra for k-regular sequences

Cited in

(15)

• Contextual equivalence for signal flow graphs
• Context-free coalgebras
• Rational operational models
• On the final coalgebra of automatic sequences
• Stream Automata Are Coalgebras
• Stream differential equations: specification formats and solution methods
• Weighted Bisimulation in Linear Algebraic Form
• Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
• A coalgebraic perspective on linear weighted automata
• Proper functors and fixed points for finite behaviour
• (Co)algebraic characterizations of signal flow graphs
• A final coalgebra for k-regular sequences
• Learning closed signal flow graphs
• Differentiable causal computations via delayed trace (extended version)
• A decision method for first-order stream logic

This page was built for publication: Rational streams coalgebraically

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