@Inproceedings{EPTCS104.2,
  author    = {Aristiz\'abal, Andr\'es and Bonchi, Filippo and Pino, Luis and Valencia, Frank},
  year      = {2012},
  title     = {Reducing Weak to Strong Bisimilarity in CCP},
  editor    = {Carbone, Marco and Lanese, Ivan and Silva, Alexandra and Sokolova, Ana},
  booktitle = {{\rm Proceedings Fifth}
               Interaction and Concurrency Experience,
               {\rm Stockholm, Sweden, 16th June 2012}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {104},
  publisher = {Open Publishing Association},
  pages     = {2-16},
  doi       = {10.4204/EPTCS.104.2},
}