关于在具有复制的CCS片段中表征强同步性的论述
摘要：在仅包含前缀、并行组合、同步和有限复制的CCS片段中，我们提供了对强自相似性的特征描述。该特征描述不是一个公理化，而是以重写系统的形式呈现。我们讨论了我们的方法如何使我们能够推导出一个关于π计算的新的合同结果：合同在不包括限制和求和，以及具有有限复制形式的子计算中成立。我们尚未详细规范化该结果的后者部分。
作者：Daniel Hirschkoff (LIP), Damien Pous (INRIA Rh^one-Alpes / LIG Laboratoire d'Informatique de Grenoble)
论文ID：0810.2061
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-10-14