J. J. M. M. Rutten - Rational streams coalgebraically

lmcs:1164 - Logical Methods in Computer Science, September 19, 2008, Volume 4, Issue 3 - https://doi.org/10.2168/LMCS-4(3:9)2008
Rational streams coalgebraically

Authors: J. J. M. M. Rutten

    We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the equivalence of four notions of representability of rational streams: by finite dimensional linear systems; by finite stream circuits; by finite weighted stream automata; and by finite dimensional subsystems of the set of streams.

    https://doi.org/10.2168/LMCS-4(3:9)2008
    Source : oai:arXiv.org:0807.4073
    Volume: Volume 4, Issue 3
    Published on: September 19, 2008
    Imported on: December 20, 2007
    Keywords: Computer Science - Logic in Computer Science,F.1.1,G.1.0
    Licence: arXiv.org - Non-exclusive license to distribute

    Linked data

    Source : ScholeXplorer IsReferencedBy DOI 10.1007/978-3-642-04081-8_12
    • 10.1007/978-3-642-04081-8_12
    • 10.1007/978-3-642-04081-8_12
    Weighted Bisimulation in Linear Algebraic Form
    Boreale, Michele ;

    10 Documents citing this article

    Share and export

    Consultation statistics

    This page has been seen 1240 times.
    This article's PDF has been downloaded 364 times.