  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.
