Concurrent Rewriting for Graphs with Equivalences

Paolo Baldan, Fabio Gadducci, Ugo Montanari. Concurrent Rewriting for Graphs with Equivalences. In Christel Baier, Holger Hermanns, editors, CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Volume 4137 of Lecture Notes in Computer Science, pages 279-294, Springer, 2006. [doi]

Authors

Paolo Baldan

This author has not been identified. Look up 'Paolo Baldan' in Google

Fabio Gadducci

This author has not been identified. Look up 'Fabio Gadducci' in Google

Ugo Montanari

This author has not been identified. Look up 'Ugo Montanari' in Google