TY  - RPRT
TI  - Bisimilarity is not Borel
AU  - Pedro Sánchez Terraf
PY  - 2014
DO  - 10.1017/s0960129515000535
UR  - https://arxiv.org/abs/1211.0967
ID  - 1211.0967
ER  -