Refinements of Graph Transformation Systems via Rule Expressions

This publication has 7 references indexed in Scilit:

• Spatial and temporal refinement of typed graph transformation systems
  Published by Springer Nature ,1998
• A Combined Reference Model- and View-Based Approach to System Specification
  International Journal of Software Engineering and Knowledge Engineering, 1997
• ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION – PART I: BASIC CONCEPTS AND DOUBLE PUSHOUT APPROACH
  Published by World Scientific Pub Co Pte Ltd ,1997
• Horizontal and vertical structuring of typed graph transformation systems
  Mathematical Structures in Computer Science, 1996
• GRAPH PROCESSES
  Fundamenta Informaticae, 1996
• Fundamentals of Algebraic Specification 2
  Published by Springer Nature ,1990
• Amalgamation of graph transformations: A synchronization mechanism
  Journal of Computer and System Sciences, 1987