Dexter Kozen - Coinductive Proof Principles for Stochastic Processes

lmcs:1098 - Logical Methods in Computer Science, November 12, 2007, Volume 3, Issue 4 - https://doi.org/10.2168/LMCS-3(4:8)2007
Coinductive Proof Principles for Stochastic ProcessesArticle

Authors: Dexter Kozen ORCID

    We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when solutions are not unique. The rule encapsulates low-level analytic arguments, allowing reasoning about such processes at a higher algebraic level. We illustrate the use of the rule in deriving properties of a simple coin-flip process.


    Volume: Volume 3, Issue 4
    Published on: November 12, 2007
    Imported on: May 2, 2007
    Keywords: Computer Science - Logic in Computer Science,F.4.1,F.3.1,I.1.3,I.2.3
    Funding:
      Source : OpenAIRE Graph
    • Specialized Logics for Applications in Computer Science; Funder: National Science Foundation; Code: 0635028

    4 Documents citing this article

    Consultation statistics

    This page has been seen 1073 times.
    This article's PDF has been downloaded 258 times.