Coinductive proof principles for stochastic processes (0)

by Dexter Kozen
Venue:Logical Methods in Computer Science, 3(4:8), 2007. DOI: 10.2168/LMCS-3