Stream differential equations: specification formats and solution methods

Helle Hvid Hansen, Clemens Kupke, Jan Rutten

Research output: Contribution to journalSpecial issue

6 Citations (Scopus)
47 Downloads (Pure)

Abstract

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.
Original languageEnglish
Pages (from-to)1-52
Number of pages52
JournalLogical Methods in Computer Science
Volume13
Issue number1
DOIs
Publication statusPublished - 3 Feb 2017

Keywords

  • infinite sequences
  • stream differential equations
  • syntactic solution method
  • stream operations
  • abstract GSOS

Fingerprint Dive into the research topics of 'Stream differential equations: specification formats and solution methods'. Together they form a unique fingerprint.

  • Projects

  • Cite this