Ugo Montanari, Vladimiro Sassone. CCS Dynamic Bisimulation is Progressing. In Andrzej Tarlecki, editor, Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings. Volume 520 of Lecture Notes in Computer Science, pages 346-356, Springer, 1991.
Abstract is missing.