Coreflective Concurrent Semantics for Single-Pushout Graph Grammars

Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro. Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Volume 2755 of Lecture Notes in Computer Science, pages 165-184, Springer, 2002. [doi]

Authors

Paolo Baldan

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

Andrea Corradini

This author has not been identified. Look up 'Andrea Corradini' in Google

Ugo Montanari

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

Leila Ribeiro

This author has not been identified. Look up 'Leila Ribeiro' in Google