@misc{indiciaedc94c01e533c,
  title = {Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus},
  author = {Alwen Tiu and Dale Miller},
  year = {2009},
  url = {https://arxiv.org/abs/0805.2785},
  note = {Source identifier: 0805.2785}
}