DIEGO

swMATH2178MaRDI QIDQ14722FDOQ14722

Author name not available (Why is that?)

Cited In (12)

• Graph transformation for specification and programming
• A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
• Graph transformation units with interleaving semantics
• Hierarchical graph transformation
• An Abstract Module Concept for Graph Transformation Systems
• On the interleaving semantics of transformation units — A step into GRACE
• Amalgamation of domain specific languages with behaviour
• Hierarchically distributed graph transformation
• Title not available (Why is that?)
• Parameterized Transformation Units
• Structured Modeling with GRACE
• Formal software specification with refinements and modules of typed graph transformation systems

This page was built for software: DIEGO