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.

Comment: 16 pages, 2 figures. Preliminary version appeared in: Rajeev Alur, ed., Proc. 21st Symp. Logic in Computer Science (LICS'06), pages 359-366.
IEEE, August 2006

https://doi.org/10.2168/LMCS-3(4:8)2007
Source: arXiv.org:0711.0194
Volume: Volume 3, Issue 4
Secondary volumes: Selected Papers of the 21st IEEE Symposium on Logic in Computer Science (LICS 2006)
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
Licence: arXiv.org - Assumed non-exclusive license to distribute
Funding:
    Source : OpenAIRE Graph
  • Specialized Logics for Applications in Computer Science; Funder: National Science Foundation; Code: 0635028

4 Documents citing this article

Share and export

Consultation statistics

This page has been seen 3191 times.
This article's PDF has been downloaded 474 times.