TY  - RPRT
TI  - Partition Refinement for Bisimilarity in CCP
AU  - Andrés Aristizábal
AU  - Filippo Bonchi
AU  - Luis Pino
AU  - Frank D. Valencia
PY  - 2012
UR  - https://arxiv.org/abs/1212.1548
ID  - 1212.1548
ER  -