Contextual Equivalence for Higher-Order π-Calculus Revisited.

Alan Jeffrey, Julian Rathke

Browse the full MFPS paper archive.