TY  - RPRT
TI  - Reducing Weak to Strong Bisimilarity in CCP
AU  - Andrés Aristizábal
AU  - Filippo Bonchi
AU  - Luis Pino
AU  - Frank Valencia
PY  - 2012
DO  - 10.4204/eptcs.104.2
UR  - https://arxiv.org/abs/1212.3874
ID  - 1212.3874
ER  -