Picture of neon light reading 'Open'

Discover open research at Strathprints as part of International Open Access Week!

23-29 October 2017 is International Open Access Week. The Strathprints institutional repository is a digital archive of Open Access research outputs, all produced by University of Strathclyde researchers.

Explore recent world leading Open Access research content this Open Access Week from across Strathclyde's many research active faculties: Engineering, Science, Humanities, Arts & Social Sciences and Strathclyde Business School.

Explore all Strathclyde Open Access research outputs...

Stream differential equations : specification formats and solution methods

Hansen, Helle Hvid and Kupke, Clemens and Rutten, Jan (2016) Stream differential equations : specification formats and solution methods. Logical Methods in Computer Science. pp. 1-52. ISSN 1860-5974 (In Press)

Text (Hansen-etal-LMCS2016-Stream-differential-equations)
Hansen_etal_LMCS2016_Stream_differential_equations.pdf - Accepted Author Manuscript
License: Creative Commons Attribution-NoDerivatives 2.5 logo

Download (549kB) | Preview


Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been developed in many papers over the past two decades. In this paper we present a survey of the many results in this area. Our focus is on the classification of different formats of stream differential equations, their solution methods, and the classes of streams they can define. Moreover, we describe in detail the connection between the so-called syntactic solution method and abstract GSOS.