Bisimulation Equivalence is Decidable for all Context-Free Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Søren Christensen, Hans Hüttel, Colin Stirling. Bisimulation Equivalence is Decidable for all Context-Free Processes. In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 138-147, Springer, 1992.

This author has not been identified. Look up 'Søren Christensen' in GoogleThis author has not been identified. Look up 'Hans Hüttel' in GoogleThis author has not been identified. Look up 'Colin Stirling' in Google

runs on WebDSL