scientific article; zbMATH DE number 1405669
From MaRDI portal
Publication:4938650
zbMath0941.68638MaRDI QIDQ4938650
Publication date: 10 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
