Publication:4938650
From MaRDI portal
zbMath0941.68638MaRDI QIDQ4938650
Publication date: 10 July 2000
Related Items
Order algebras: a quantitative model of interaction, Elements of Stream Calculus, Rational and Recognisable Power Series, 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