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

Jan J. M. M. Rutten. Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theoretical Computer Science, 308(1-3):1-53, 2003. [doi]

Abstract

Abstract is missing.