进程唯一分解问题的几何方法
计算机科学中的逻辑
2015-05-18 v1
摘要
本文提出了并发进程素分解问题的几何解法，该问题最早由 R. Milner 和 F. Moller 在 [MM93] 中探讨。利用立方体区域赋予并发程序几何语义，并证明了唯一的因子分解定理。从该因子分解定理推导出一套关于几何语义正确且完备的有效因子分解方法。该算法已在静态分析器 ALCOOL 中实现。
引用
@article{arxiv.1004.2780,
title = {A Geometric Approach to the Problem of Unique Decomposition of Processes},
author = {Thibaut Balabonski and Emmanuel Haucourt},
journal= {arXiv preprint arXiv:1004.2780},
year = {2015}
}
备注
15 pages