CCS 的分布律与π演算的新同伪一致性结果
计算机科学中的逻辑
2015-07-01 v5
摘要
我们给出一种对不包含求和运算符的CCS小片段进行强同伪一致性的公理化。这种公理化随后用于推导出在无求和运算符情况下有限π演算中强同伪一致性的同伪性。就我们所知，这是唯一一种包含完整输出前缀且其强同伪一致性为同伪一致性的π演算非平凡子演算。
引用
@article{arxiv.cs/0608059,
title = {A Distribution Law for CCS and a New Congruence Result for the pi-calculus},
author = {Daniel Hirschkoff and Damien Pous},
journal= {arXiv preprint arXiv:cs/0608059},
year = {2015}
}
备注
20 pages