On Up-to Context Techniques in the $\pi$-calculus
Logic in Computer Science
2022-06-06 v2
Abstract
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.
Cite
@article{arxiv.2112.08765,
title = {On Up-to Context Techniques in the $\pi$-calculus},
author = {Enguerrand Prebet},
journal= {arXiv preprint arXiv:2112.08765},
year = {2022}
}