Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Trace-Based Load Characterization for Generating Performance Software Models
IEEE Transactions on Software Engineering
Relabelling in Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Abstraction and composition in Δ-specifications of concurrent systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Applications of Graph Transformations with Industrial Relevance
A Graph-based Semantics For Object-oriented Programming Constructs
Electronic Notes in Theoretical Computer Science (ENTCS)
Pushout: a mathematical model of architectural merger
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Graph transformation by computational category theory
Graph transformations and model-driven engineering
Changing labels in the double-pushout approach can be treated categorically
Formal Methods in Software and Systems Modeling
| Hi-index | 0.00 |