@misc{indiciae3dc2cd78c6ad,
  title = {On Context Bisimulation for Parameterized Higher-order Processes},
  author = {Xian Xu},
  year = {2013},
  doi = {10.4204/eptcs.131.5},
  url = {https://arxiv.org/abs/1310.4572},
  note = {Source identifier: 1310.4572}
}