Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roberto Bruni, David de Frutos-Escrig, Narciso Martí-Oliet, Ugo Montanari. Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic. In Catuscia Palamidessi, editor, CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings. Volume 1877 of Lecture Notes in Computer Science, pages 259-274, Springer, 2000. [doi]

This author has not been identified. Look up 'Roberto Bruni' in GoogleThis author has not been identified. Look up 'David de Frutos-Escrig' in GoogleThis author has not been identified. Look up 'Narciso Martí-Oliet' in GoogleThis author has not been identified. Look up 'Ugo Montanari' in Google

runs on WebDSL