Stream differential equations: specification formats and solution methods

Helle Hvid Hansen, Clemens Kupke, Jan Rutten

Research output: Contribution to journalSpecial issue

4 Citations (Scopus)

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.
LanguageEnglish
Pages1-52
Number of pages52
JournalLogical Methods in Computer Science
Volume13
Issue number1
DOIs
Publication statusPublished - 3 Feb 2017

Fingerprint

Differential equations
Specification
Differential equation
Specifications
Syntactics
Computer science
Computer Science
Class
Syntax
Object

Keywords

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

Cite this

@article{7262bc1e776248409213c7f6b0b8a09e,
title = "Stream differential equations: specification formats and solution methods",
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.",
keywords = "infinite sequences, stream differential equations, syntactic solution method, stream operations, abstract GSOS",
author = "Hansen, {Helle Hvid} and Clemens Kupke and Jan Rutten",
year = "2017",
month = "2",
day = "3",
doi = "10.23638/LMCS-13(1:3)2017",
language = "English",
volume = "13",
pages = "1--52",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
number = "1",

}

Stream differential equations : specification formats and solution methods. / Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan.

In: Logical Methods in Computer Science, Vol. 13, No. 1, 03.02.2017, p. 1-52.

Research output: Contribution to journalSpecial issue

TY - JOUR

T1 - Stream differential equations

T2 - Logical Methods in Computer Science

AU - Hansen, Helle Hvid

AU - Kupke, Clemens

AU - Rutten, Jan

PY - 2017/2/3

Y1 - 2017/2/3

N2 - 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.

AB - 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.

KW - infinite sequences

KW - stream differential equations

KW - syntactic solution method

KW - stream operations

KW - abstract GSOS

UR - https://lmcs.episciences.org/

U2 - 10.23638/LMCS-13(1:3)2017

DO - 10.23638/LMCS-13(1:3)2017

M3 - Special issue

VL - 13

SP - 1

EP - 52

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 1

ER -