Coinductive Proof Principles for Stochastic Processes Export

@article{citeulike:3243422, abstract = {We give an explicit coinduction principle for recursivelydefined 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.}, address = {Los Alamitos, CA, USA}, author = {Kozen, Dexter}, booktitle = {LICS '06: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science}, citeulike-article-id = {3243422}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1157735.1158073}, citeulike-linkout-1 = {http://doi.ieeecomputersociety.org/10.1109/LICS.2006.18}, citeulike-linkout-2 = {http://dx.doi.org/10.1109/LICS.2006.18}, citeulike-linkout-3 = {http://www.cs.cornell.edu/~kozen/papers/coinduction.pdf}, doi = {10.1109/LICS.2006.18}, isbn = {0-7695-2631-4}, issn = {1043-6871}, journal = {Logic in Computer Science, Symposium on}, keywords = {category-theory, coinduction, probability, proof-principles}, pages = {359--366}, posted-at = {2008-09-12 05:01:35}, priority = {0}, publisher = {IEEE Computer Society}, title = {Coinductive Proof Principles for Stochastic Processes}, url = {http://dx.doi.org/10.1109/LICS.2006.18}, volume = {0}, year = {2006} }

TY - JOUR ID - citeulike:3243422 L3 - citeulike-article-id:3243422 N2 - We give an explicit coinduction principle for recursivelydefined 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. JF - Logic in Computer Science, Symposium on SN - 0-7695-2631-4 AD - Los Alamitos, CA, USA EP - 366 TI - Coinductive Proof Principles for Stochastic Processes PB - IEEE Computer Society VL - 0 T2 - LICS '06: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science SP - 359 KW - category-theory KW - coinduction KW - probability KW - proof-principles AU - Kozen, Dexter PY - 2006/// UR - http://dx.doi.org/10.1109/LICS.2006.18 ER -