The following pages link to (Q4938650):
Displaying 8 items.
- The music of streams (Q1607101) (← links)
- Derivatives of rational expressions with multiplicity (Q1770384) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Automata and rational expressions (Q2074204) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)
- Elements of Stream Calculus (Q4917066) (← links)
- Rational and Recognisable Power Series (Q5072546) (← links)
