具有复制的CCS片段的强双相似性特征
On characterising strong bisimilarity in a fragment of CCS with replication
摘要：
我们提供了一个强的双相似性的CCS片段，只包含前缀，平行组成，同步和有限的复制形式的表征。这种表征不是一种公理化，而是作为一种重写系统呈现。我们讨论了我们的方法如何使我们能够得到一个新的同余结果在$π$演算：同余持有的子演算，不包括限制，也不和，并具有有限形式的复制。我们还没有正式确定后一种结果的所有细节。
英文摘要：
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The characterisation is not an axiomatisation, but is instead presented as a rewriting system. We discuss how our method allows us to derive a new congruence result in the $π$-calculus: congruence holds in the sub-calculus that does not include restriction nor sum, and features a limited form of replication. We have not formalised the latter result in all details.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
