Approximating Weak Bisimulation on Basic Process Algebras

Jitka StrĂ­brnĂ¡. Approximating Weak Bisimulation on Basic Process Algebras. In Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki, editors, Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS 99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings. Volume 1672 of Lecture Notes in Computer Science, pages 366-375, Springer, 1999.

Abstract

Abstract is missing.