%0 Conference Paper %1 conf/mfcs/MontanariS91 %A Montanari, Ugo %A Sassone, Vladimiro %B MFCS %D 1991 %E Tarlecki, Andrzej %I Springer %K dblp %P 346-356 %T CCS Dynamic Bisimulation is Progressing. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#MontanariS91 %V 520 %@ 3-540-54345-7

@inproceedings{conf/mfcs/MontanariS91, added-at = {2017-03-20T00:00:00.000+0100}, author = {Montanari, Ugo and Sassone, Vladimiro}, biburl = {https://www.bibsonomy.org/bibtex/2b0995d6e0520e7ae73b579d817e1df49/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1991}, editor = {Tarlecki, Andrzej}, ee = {http://dx.doi.org/10.1007/3-540-54345-7_78}, interhash = {cd30f5edbabe0efcdc79c81ede3ef31d}, intrahash = {b0995d6e0520e7ae73b579d817e1df49}, isbn = {3-540-54345-7}, keywords = {dblp}, pages = {346-356}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-21T11:39:35.000+0100}, title = {CCS Dynamic Bisimulation is Progressing.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs91.html#MontanariS91}, volume = 520, year = 1991 }