Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Behavioural differential equations: a coinductive calculus of streams, automata, and power series |
scientific article; zbMATH DE number 2110974
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Behavioural differential equations: a coinductive calculus of streams, automata, and power series |
scientific article; zbMATH DE number 2110974 |
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
0.8628551
0 references
0 references
0 references
0.85407627
0 references
0 references
0 references
0.8289836
0 references
0.82792294
0 references
0.82773775
0 references
0 references
