@misc{indiciaec3cc4519cfee, title = {Reducing Weak to Strong Bisimilarity in CCP}, author = {Andrés Aristizábal and Filippo Bonchi and Luis Pino and Frank Valencia}, year = {2012}, doi = {10.4204/eptcs.104.2}, url = {https://arxiv.org/abs/1212.3874}, note = {Source identifier: 1212.3874} }