约翰内斯·奥曼·波霍拉-重温Psi-Calculi:连通性和组成性

lmcs:5767个-计算机科学中的逻辑方法,2020年12月15日,第16卷第4期-https://doi.org/10.23638/LMCS-16(4:16)2020
重温Psi-Calculi:连通性和组成性第条

作者:约翰内斯·奥曼·波霍拉ORCID公司

    Psi-calculi是一个用于进程计算的参数化框架,类似于流行的pi-calculus扩展,如显式融合演算,应用pi-calculus和spi演算。标准代数和的机械化证明双相似性的同余性质适用于psi-calculi的一个限制是通信通道必须对称和传递。在本文中,我们为psi-calculi,它允许我们取消这些限制并简化一些证据。关键的技术创新是用起源——对它们起源的范围和渠道的描述。我们给出机械化证明,证明我们的扩展是保守的,并且强、弱双相似性的标准代数和同余性质维护。我们用约简语义和倒刺表示对应关系相互模拟。我们展示了一个pi-calculus如何使用之前的预订单超出psi-calculi范围的可以捕获,以及如何编码混合选择在非常严格的质量标准下。


    资料来源:arXiv.org:1909.06692
    第16卷第4期
    发布日期:2020年12月15日
    验收日期:2020年10月30日
    提交日期:2019年9月17日
    关键词:计算机科学-计算机科学中的逻辑,F.3.2

    咨询统计

    这个页面已经被浏览了1017次。
    本文的PDF已下载161次。