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.
翻译：我们提出了一个构建和推理基于国家的协议的煤热地理模型,这些协议在随机流程中实施高效减排。 我们提供了基本工具,允许以组成方式构建高效协议,并分析国家与输输的酶之间的平衡。 我们展示了如何利用这些工具构建各种流程间为保温而设计的减排。
相关内容
这个新版本的工具会议系列恢复了从1989年到2012年的50个会议的传统。工具最初是“面向对象语言和系统的技术”，后来发展到包括软件技术的所有创新方面。今天许多最重要的软件概念都是在这里首次引入的。2019年TOOLS 50+1在俄罗斯喀山附近举行，以同样的创新精神、对所有与软件相关的事物的热情、科学稳健性和行业适用性的结合以及欢迎该领域所有趋势和社区的开放态度，延续了该系列。
官网链接：http://tools2019.innopolis.ru/
Arxiv
0+阅读 · 2021年12月21日
Arxiv
3+阅读 · 2021年12月19日
Arxiv
0+阅读 · 2021年12月19日
Arxiv
0+阅读 · 2021年12月18日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2021年12月21日
Arxiv
3+阅读 · 2021年12月19日
Arxiv
0+阅读 · 2021年12月19日
Arxiv
0+阅读 · 2021年12月18日
微信扫码咨询专知VIP会员