TY  - RPRT
TI  - Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus
AU  - Alwen Tiu
AU  - Dale Miller
PY  - 2009
UR  - https://arxiv.org/abs/0805.2785
ID  - 0805.2785
ER  -