scientific article; zbMATH DE number 1405669

MaRDI QIDQ4938650zbMATH OpenFDO

Authors Jan J. M. M. Rutten

Publication date 10 July 2000

Mathematics Subject Classification ID

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

Cited in

(8)

• The music of streams
• Derivatives of rational expressions with multiplicity
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Automata and rational expressions
• Processes as formal power series: a coinductive approach to denotational semantics
• Order algebras: a quantitative model of interaction
• Elements of stream calculus (an extensive exercise in coinduction)
• Rational and Recognisable Power Series

This page was built for publication:

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