Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Behavioural differential equations: a coinductive calculus of streams, automata, and power series |
scientific article |
Statements
Behavioural differential equations: a coinductive calculus of streams, automata, and power series (English)
0 references
27 October 2004
0 references
Coalgebra
0 references
Automaton
0 references
Homomorphism
0 references
Bisimulation
0 references
Finality
0 references
Coinduction
0 references
Stream
0 references
Formal language
0 references
Formal power series
0 references
Differential equation
0 references
Input derivative
0 references
0 references
