TY  - RPRT
TI  - Contextual equivalence for higher-order pi-calculus revisited
AU  - Alan Jeffrey
AU  - Julian Rathke
PY  - 2006
DO  - 10.2168/lmcs-1(1:4)2005
UR  - https://arxiv.org/abs/cs/0503067
ID  - cs/0503067
ER  -