Integrating the specification techniques of graph transformation and temporal logic

This publication has 10 references indexed in Scilit:

• 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
• The category of typed graph grammars and its adjunctions with categories of derivations
  Published by Springer Nature ,1996
• Transformations of graph grammars
  Published by Springer Nature ,1996
• GRAPH PROCESSES
  Fundamenta Informaticae, 1996
• Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -
  Electronic Notes in Theoretical Computer Science, 1995
• An approach to object semantics based on terminal co-algebras
  Mathematical Structures in Computer Science, 1995
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Parallelism and concurrency in high-level replacement systems
  Mathematical Structures in Computer Science, 1991
• Graph-grammars: An algebraic approach
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1973