%0 Journal Article %1 journals/scp/PinoPBV15 %A Pino, Luis Fernando %A P., Andrés A. Aristizábal %A Bonchi, Filippo %A Valencia, Frank D. %D 2015 %J Sci. Comput. Program. %K dblp %P 84-104 %T Weak CCP bisimilarity with strong procedures. %U http://dblp.uni-trier.de/db/journals/scp/scp100.html#PinoPBV15 %V 100

@article{journals/scp/PinoPBV15, added-at = {2021-10-14T00:00:00.000+0200}, author = {Pino, Luis Fernando and P., Andrés A. Aristizábal and Bonchi, Filippo and Valencia, Frank D.}, biburl = {https://www.bibsonomy.org/bibtex/27cf67053d5b6926b572bde2b36aa7646/dblp}, ee = {https://doi.org/10.1016/j.scico.2014.09.007}, interhash = {278caaa07112dd3d914b4b1ed0642ec1}, intrahash = {7cf67053d5b6926b572bde2b36aa7646}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {84-104}, timestamp = {2024-04-09T05:27:23.000+0200}, title = {Weak CCP bisimilarity with strong procedures.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp100.html#PinoPBV15}, volume = 100, year = 2015 }