Alan Jeffrey, Julian Rathke. Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science, 1(1), 2005. [doi]
@article{JeffreyR05:1,
title = {Contextual equivalence for higher-order pi-calculus revisited},
author = {Alan Jeffrey and Julian Rathke},
year = {2005},
doi = {10.2168/LMCS-1(1:4)2005},
url = {http://dx.doi.org/10.2168/LMCS-1(1:4)2005},
researchr = {https://researchr.org/publication/JeffreyR05%3A1},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {1},
number = {1},
}