DIEGO
From MaRDI portal
Cited in
(17)- An abstract module concept for graph transformation systems
- Graph transformation for specification and programming
- On the interleaving semantics of transformation units -- a step into GRACE
- A graph transformation view on the specification of applications using mobile code
- Structured modeling with GRACE
- Parameterized transformation units
- Graph transformation units with interleaving semantics
- GraphEd
- DACTL
- PROGRES
- Hy+
- Aglets
- Hierarchical graph transformation
- Amalgamation of domain specific languages with behaviour
- Hierarchically distributed graph transformation
- scientific article; zbMATH DE number 1629841 (Why is no real title available?)
- Formal software specification with refinements and modules of typed graph transformation systems
This page was built for software: DIEGO
