39 citations · 146 across the 23 of their papers we have counts for
1 paper · 2 filters
Dexter Kozen, Matvey Soloviev
We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that al…