|
eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1813/5686
| Title: | Coinductive Proof Principles for Stochastic Processes |
| Authors: | Kozen, Dexter |
| Keywords: | computer science
technical report |
| Issue Date: | 24-Mar-2005 |
| Publisher: | Cornell University |
| Citation: | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2005-1986 |
| Abstract: | 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. We illustrate the use of the rule in deriving properties of a simple coin-flip process. |
| URI: | http://hdl.handle.net/1813/5686 |
| Appears in Collections: | Computing and Information Science Technical Reports
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
