DIEGO
From MaRDI portal
Software:14722
swMATH2178MaRDI QIDQ14722FDOQ14722
Author name not available (Why is that?)
Cited In (12)
- 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
- Hierarchical graph transformation
- Amalgamation of domain specific languages with behaviour
- Hierarchically distributed graph transformation
- Title not available (Why is that?)
- Formal software specification with refinements and modules of typed graph transformation systems
This page was built for software: DIEGO
