Pi演算的唯一并行分解
计算机科学中的逻辑
2016-08-11 v1 编程语言
摘要
一个进程代数（的片段）满足唯一并行分解，如果可定义的行为允许唯一分解为不可分解的并行组件。在本文中，我们证明pi演算的有限进程，即不执行无限执行的进程，在强互模拟和弱互模拟模下满足此性质。我们的结果通过应用一种使用分解序建立唯一并行分解的通用技术获得。
引用
@article{arxiv.1608.03128,
title = {Unique Parallel Decomposition for the Pi-calculus},
author = {Matias David Lee and Bas Luttik},
journal= {arXiv preprint arXiv:1608.03128},
year = {2016}
}
备注
In Proceedings EXPRESS/SOS 2016, arXiv:1608.02692