Helle Hvid Hansen ; Clemens Kupke ; Jan Rutten - Stream Differential Equations: Specification Formats and Solution Methods

lmcs:3118 - Logical Methods in Computer Science, February 3, 2017, Volume 13, Issue 1 - https://doi.org/10.23638/LMCS-13(1:3)2017
Stream Differential Equations: Specification Formats and Solution Methods

Authors: Helle Hvid Hansen ; Clemens Kupke ; Jan Rutten

    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.


    Volume: Volume 13, Issue 1
    Published on: February 3, 2017
    Accepted on: February 3, 2017
    Submitted on: February 3, 2017
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Formal Languages and Automata Theory,F.1.1,F.3.2,F.4.3

    Linked data

    Source : ScholeXplorer IsCitedBy ARXIV 2107.04455
    Source : ScholeXplorer IsCitedBy DOI 10.4230/lipics.concur.2021.19
    Source : ScholeXplorer IsCitedBy DOI 10.48550/arxiv.2107.04455
    • 10.4230/lipics.concur.2021.19
    • 2107.04455
    • 10.48550/arxiv.2107.04455
    Algebra and Coalgebra of Stream Products
    Boreale, Michele ; Gorla, Daniele ;

    2 Documents citing this article

    Consultation statistics

    This page has been seen 1590 times.
    This article's PDF has been downloaded 1000 times.