39 citations · 146 across the 23 of their papers we have counts for
1 paper · 1 filter
Dexter Kozen
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 solutio…