Symbolic Bisimulations

Matthew Hennessy, H. Lin. Symbolic Bisimulations. Theoretical Computer Science, 138(2):353-389, 1995. [doi]

Abstract

Abstract is missing.