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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.