TY  - RPRT
TI  - On Context Bisimulation for Parameterized Higher-order Processes
AU  - Xian Xu
PY  - 2013
DO  - 10.4204/eptcs.131.5
UR  - https://arxiv.org/abs/1310.4572
ID  - 1310.4572
ER  -