Coalgebraic tools for randomness-conserving protocols

Dexter Kozen, Matvey Soloviev. Coalgebraic tools for randomness-conserving protocols. J. Log. Algebr. Meth. Program., 125:100734, 2022. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: