The following pages link to (Q4762646):
Displaying 5 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars (Q2870327) (← links)
- Stochastic Object-Based Graph Grammars (Q2870329) (← links)
- 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-GR (Q4921551) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)
