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 loss of entropy. We show how to use these tools to construct various entropy-conserving reductions between processes.

翻译：我们提出了一个构建和推理基于国家的协议的煤热地理模型,这些协议在随机流程中实施高效减排。 我们提供了基本工具,允许以组成方式构建高效协议,并分析国家与输输的酶之间的平衡。 我们展示了如何利用这些工具构建各种流程间为保温而设计的减排。