A Coinductive Calculus of Streams, Automata, and Power Series
Download:
|
|
by J. J. M. M. Rutten
http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0023.ps.Z
Add To MetaCart
Abstract:
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Citations
| 146 | P.: A Final Coalgebra Theorem. in – Aczel, Mendler - 1989 |
| 23 | A logic for coalgebraic simulation – Baltag - 2000 |
