Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
Graph Transformation Modules and Their Composition
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Graph Transformation Units --- An Overview
Concurrency, Graphs and Models
Defining Abstract Graph Views as Module Interfaces
Applications of Graph Transformations with Industrial Relevance
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Hi-index | 0.00 |