Coinductive Proof Principles for Stochastic Processes
MetadataShow full item record
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.
computer science; technical report
Previously Published As