Structured Modeling with GRACE (Q4923544)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6165909

Language	Label	Description	Also known as
English	Structured Modeling with GRACE	scientific article; zbMATH DE number 6165909

Statements

scholarly article

0 references

Structured Modeling with GRACE (English)

0 references

Giorgio Busatto

0 references

Renate Klempien-Hinrichs

0 references

0 references

0 references

Hans-Joerg Kreowski

0 references

Electronic Notes in Theoretical Computer Science

0 references

publication date

24 May 2013

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

Graph transformation for specification and programming

0 references

Pragmatic and semantic aspects of a module concept for graph transformation systems

0 references

Handbook of Graph Grammars and Computing by Graph Transformation

0 references

0 references

0 references

0 references

0 references

GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).

0 references

Graph transformation units with interleaving semantics

0 references

Handbook of Graph Grammars and Computing by Graph Transformation

0 references

Programmed graph transformations and graph transformation units in GRACE

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/S1571-0661(04)80206-8

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4923544

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4923544&oldid=35333400"