%0 Journal Article %1 journals/fuin/MontanariS92 %A Montanari, Ugo %A Sassone, Vladimiro %D 1992 %J Fundam. Informaticae %K dblp %N 1 %P 171-199 %T Dynamic congruence vs. progressing bisimulation for CCS. %U http://dblp.uni-trier.de/db/journals/fuin/fuin16.html#MontanariS92 %V 16

@article{journals/fuin/MontanariS92, added-at = {2020-09-18T00:00:00.000+0200}, author = {Montanari, Ugo and Sassone, Vladimiro}, biburl = {https://www.bibsonomy.org/bibtex/2262411f63218196e9d0bbbbc9b00ead7/dblp}, interhash = {8a9a5cc069a8c39c8d0f79ab6c778c5e}, intrahash = {262411f63218196e9d0bbbbc9b00ead7}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 1, pages = {171-199}, timestamp = {2020-09-19T11:36:09.000+0200}, title = {Dynamic congruence vs. progressing bisimulation for CCS.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin16.html#MontanariS92}, volume = 16, year = 1992 }