Coalgebraic Tools for Randomness-Conserving Protocols

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2021.100734 ◽

2021 ◽

pp. 100734

Author(s):

Dexter Kozen ◽

Matvey Soloviev

Download Full-text