可逆真并发进程代数
计算机科学中的逻辑
2018-05-10 v1
摘要
我们设计了真并发进程代数 CTC 的一个可逆版本，称为 RCTC。相对于若干种强前向-反向真并发互模拟和弱前向-反向真并发互模拟，它具有良好的性质。这些性质包括幺半群律、静态律、强前向-反向真并发互模拟的新展开律、弱前向-反向真并发互模拟的 \tau 律，以及强和弱前向-反向真并发互模拟的同余性。
引用
@article{arxiv.1805.03575,
title = {Reversible Truly Concurrent Process Algebra},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1805.03575},
year = {2018}
}
备注
40 pages. arXiv admin note: substantial text overlap with arXiv:1410.5131, arXiv:1611.09035, arXiv:1703.00159