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.