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.

翻译：由于桑吉奥尔吉和波斯,我们提出了关系上兼容功能理论的变体。 我们表明,在这个环境中,对两个子子子微积分(微积分)来说,最上到上环境的减肥验证技术是兼容的:非同步的微微微微微微微积分和具有立即可用名称的微微微微微微分。