Publication:4938650
From MaRDI portal
zbMath0941.68638MaRDI QIDQ4938650
Publication date: 10 July 2000
Related Items
Behavioural differential equations: a coinductive calculus of streams, automata, and power series, Rational and Recognisable Power Series, Order algebras: a quantitative model of interaction, Elements of Stream Calculus, Derivatives of rational expressions with multiplicity, Processes as formal power series: a coinductive approach to denotational semantics, Automata and rational expressions, The music of streams