We present a variant of the theory of compatible functions on relations, due to Sangiorgi and Pous. We show that the up-to context proof technique for bisimulation is compatible in this setting for two subsets of the pi-calculus: the asynchronous pi-calculus and a pi-calculus with immediately available names.
翻译：由于桑吉奥尔吉和波斯,我们提出了关系上兼容功能理论的变体。 我们表明,在这个环境中,对两个子子子微积分(微积分)来说,最上到上环境的减肥验证技术是兼容的:非同步的微微微微微微微积分和具有立即可用名称的微微微微微微分。
相关内容
专知会员服务
34+阅读 · 2019年10月17日
Arxiv
0+阅读 · 2022年7月21日
Arxiv
0+阅读 · 2022年7月19日
Arxiv
0+阅读 · 2022年7月19日
Arxiv
0+阅读 · 2022年7月19日
Arxiv
11+阅读 · 2021年9月3日
Arxiv
100+阅读 · 2020年2月20日
相关VIP内容
专知会员服务
34+阅读 · 2019年10月17日
相关资讯
相关论文
Arxiv
0+阅读 · 2022年7月21日
Arxiv
0+阅读 · 2022年7月19日
Arxiv
0+阅读 · 2022年7月19日
Arxiv
0+阅读 · 2022年7月19日
Arxiv
11+阅读 · 2021年9月3日
Arxiv
100+阅读 · 2020年2月20日
微信扫码咨询专知VIP会员