Alan Jeffrey, Julian Rathke. Contextual Equivalence for Higher-Order π-Calculus Revisited. In Stephen D. Brookes, Prakash Panangaden, editors, Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003. Volume 83 of Electronic Notes in Theoretical Computer Science, pages 149-168, Elsevier, 2003. [doi]
@inproceedings{JeffreyR03,
title = {Contextual Equivalence for Higher-Order π-Calculus Revisited},
author = {Alan Jeffrey and Julian Rathke},
year = {2003},
doi = {10.1016/S1571-0661(03)50008-1},
url = {https://doi.org/10.1016/S1571-0661(03)50008-1},
researchr = {https://researchr.org/publication/JeffreyR03},
cites = {0},
citedby = {0},
pages = {149-168},
booktitle = {Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003},
editor = {Stephen D. Brookes and Prakash Panangaden},
volume = {83},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}