Behavioural differential equations: a coinductive calculus of streams, automata, and power series

J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)1-53
JournalTheoretical Computer Science
Volume308
Issue number1
DOIs
Publication statusPublished - 2003

Bibliographical note

Rut03b

Cite this