Branching Bisimulation for Context-free Processes

Didier Caucal. Branching Bisimulation for Context-free Processes. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings. Volume 652 of Lecture Notes in Computer Science, pages 316-327, Springer, 1992.

Abstract

Abstract is missing.