COINDUCTIVE PROOF PRINCIPLES FOR STOCHASTIC PROCESSES

被引：2
|
作者：
Kozen, Dexter [1 ]
机构：
[1] Cornell Univ, Dept Comp Sci, Ithaca, NY 14853 USA
来源：
LOGICAL METHODS IN COMPUTER SCIENCE | 2007年 / 3卷 / 04期
关键词：
coinduction; coalgebra; logic in computer science; probabilistic logic; fractal;
D O I：
10.2168/LMCS-3(4:8)2007
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页数：14
相关论文
共 50 条
12345