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]
Abstract is missing.