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 (8)
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
This page was built for publication: