CCS Dynamic Bisimulation is Progressing

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.