Coalgebraic tools for randomness-conserving protocols

• Published in: Journal of logical and algebraic methods in programming Vol. 125; p. 100734
• Main Authors: Kozen, Dexter, Soloviev, Matvey
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.02.2022
• Subjects: Coalgebra; Entropy; Protocol; Randomness; Reduction; Transducer; Transducer; Randomness; Reduction; Coalgebra; Entropy; Protocol

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 allow efficient protocols to be constructed in a compositional way and analyzed in terms of the tradeoff between state and...