Coinductive Proof Principles for Stochastic Processes.

Dexter Kozen

Browse the full LICS paper archive.