Report icon

Report

Stream Differential Equations: concrete formats for coinductive definitions

Abstract:

In this article we give an accessible introduction to stream differential equations, i.e., equations that take the shape of differential equations from analysis and that are used to define infinite streams. Furthermore we discuss a syntactic format for stream differential equations that ensures that any system of equations that fits into the format has a unique solution. It turns out that the stream functions that can be defined using our format are precisely the causal stream functions. Fina...

Expand abstract

Actions


Access Document


Files:

Authors


Clemens Kupke More by this author
Milad Niqui More by this author
Jan Rutten More by this author
Publication date:
2011
URN:
uuid:12489d5c-3163-4ba5-b933-6885e810bc1e
Local pid:
cs:5593

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP