↓ Skip to main content
What is this page? Embed badge

Graph Transformation, Specifications, and Nets

Overview of attention for book
Cover of 'Graph Transformation, Specifications, and Nets'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches
  3. Altmetric Badge
    Chapter 2 Integration of Graph Constraints into Graph Grammars
  4. Altmetric Badge
    Chapter 3 Multi-view Consistency in UML: A Survey
  5. Altmetric Badge
    Chapter 4 A Simple Notion of Parallel Graph Transformation and Its Perspectives
  6. Altmetric Badge
    Chapter 5 A Tutorial on Graph Transformation
  7. Altmetric Badge
    Chapter 6 Initial Conflicts and Dependencies: Critical Pairs Revisited
  8. Altmetric Badge
    Chapter 7 Towards a Navigational Logic for Graphical Structures
  9. Altmetric Badge
    Chapter 8 Model Transformations as Free Constructions
  10. Altmetric Badge
    Chapter 9 The Verigraph System for Graph Transformation
  11. Altmetric Badge
    Chapter 10 Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach
  12. Altmetric Badge
    Chapter 11 Overview of Reconfigurable Petri Nets
  13. Altmetric Badge
    Chapter 12 A Category of “Undirected Graphs”
  14. Altmetric Badge
    Chapter 13 Modular Termination of Graph Transformation
  15. Altmetric Badge
    Chapter 14 Graph Attribution Through Sub-Graphs
  16. Altmetric Badge
    Chapter 15 On Normal Forms for Structured Specifications with Generating Constraints
  17. Altmetric Badge
    Chapter 16 Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models
  18. Altmetric Badge
    Chapter 17 Graph Operations and Free Graph Algebras
Attention for Chapter 13: Modular Termination of Graph Transformation
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Modular Termination of Graph Transformation
Chapter number 13
Book title
Graph Transformation, Specifications, and Nets
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-75396-6_13
Book ISBNs
978-3-31-975395-9, 978-3-31-975396-6
Authors

Detlef Plump, Plump, Detlef

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Lecturer 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.