Parameterized Transformation Units (Q4923545)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6165910

Language	Label	Description	Also known as
English	Parameterized Transformation Units	scientific article; zbMATH DE number 6165910

Statements

scholarly article

0 references

Parameterized Transformation Units (English)

0 references

0 references

Electronic Notes in Theoretical Computer Science

0 references

publication date

24 May 2013

0 references

describes a project that uses

0 references

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

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

On the interleaving semantics of transformation units — A step into GRACE

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)80207-X

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4923545

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