Graph Transformation with Dependencies for the Specification of Interactive Systems

Andrea Corradini, Luciana Foss, Leila Ribeiro. Graph Transformation with Dependencies for the Specification of Interactive Systems. In Andrea Corradini, Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Volume 5486 of Lecture Notes in Computer Science, pages 102-118, Springer, 2008. [doi]

Abstract

Abstract is missing.