The following pages link to Power series, power serious (Q4934241):
Displayed 4 items.
- The music of streams (Q1607101) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Concrete stream calculus: An extended study (Q3021409) (← links)
- A semiring-based trace semantics for processes with applications to information leakage analysis (Q5740623) (← links)