可逆性如何解答传统问题：以遗传历史保持互模拟为例
分布式、并行与集群计算
2020-05-15 v1 形式语言与自动机理论
计算机科学中的逻辑
逻辑
摘要
可逆计算开启了克服硬件当前某些物理限制的可能性。它也提供了理论洞见，因为它丰富了多种计算范式与模型，有时还能 retrospectively 阐明它们。例如，并发可逆计算为通信系统演算提供了有趣的扩展，但仍缺乏一种自然且贴切的互模拟来研究进程等价性。我们的论文形式化了一种利用可逆性两方面的等价关系：向后移动与记忆机制。该互模拟捕捉了并发指称模型的经典等价关系（历史与遗传历史保持互模拟，(H)HPB），这些关系迄今为止仅被进程代数部分刻画。这一结果揭示了可逆性的表达能力，因为捕捉 HHPB 需要向后移动和提供“向后确定性”的记忆机制两者兼备。
引用
@article{arxiv.2005.06814,
title = {How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation},
author = {Clément Aubert and Ioana Cristescu},
journal= {arXiv preprint arXiv:2005.06814},
year = {2020}
}