Weak Bisimulation Approximants

Will Harwood, Faron Moller, Anton Setzer. Weak Bisimulation Approximants. In Zoltán Ésik, editor, Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings. Volume 4207 of Lecture Notes in Computer Science, pages 365-379, Springer, 2006. [doi]

Abstract

Abstract is missing.