Mouhebeddine Berrima, Narjes Ben Rajeb. Linking Algebraic Observational Equivalence and Bisimulation. In Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu, editors, Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings. Volume 6224 of Lecture Notes in Computer Science, pages 76-87, Springer, 2010. [doi]
Abstract is missing.