Graph Transformations

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A False History of True Concurrency: From Petri to Tools
3. Altmetric Badge
   Chapter 2 How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
4. Altmetric Badge
   Chapter 3 Graph Transformation Units Guided by a SAT Solver
5. Altmetric Badge
   Chapter 4 Delaying Constraint Solving in Symbolic Graph Transformation
6. Altmetric Badge
   Chapter 5 A Dynamic Logic for Termgraph Rewriting
7. Altmetric Badge
   Chapter 6 A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
8. Altmetric Badge
   Chapter 7 On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars
9. Altmetric Badge
   Chapter 8 Verification of Graph Transformation Systems with Context-Free Specifications
10. Altmetric Badge
    Chapter 9 Saturated LTSs for Adhesive Rewriting Systems
11. Altmetric Badge
    Chapter 10 A Hoare Calculus for Graph Programs
12. Altmetric Badge
    Chapter 11 Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
13. Altmetric Badge
    Chapter 12 Conflict Detection for Model Versioning Based on Graph Modifications
14. Altmetric Badge
    Chapter 13 A Component Concept for Typed Graphs with Inheritance and Containment Structures
15. Altmetric Badge
    Chapter 14 Combining Termination Criteria by Isolating Deletion
16. Altmetric Badge
    Chapter 15 Graph Rewriting in Span-Categories
17. Altmetric Badge
    Chapter 16 Finitary $\mathcal{M}$ -Adhesive Categories
18. Altmetric Badge
    Chapter 17 Hereditary Pushouts Reconsidered
19. Altmetric Badge
    Chapter 18 Graph Transformation for Domain-Specific Discrete Event Time Simulation
20. Altmetric Badge
    Chapter 19 Counterpart Semantics for a Second-Order μ -Calculus
21. Altmetric Badge
    Chapter 20 Declarative Mesh Subdivision Using Topological Rewriting in MGS
22. Altmetric Badge
    Chapter 21 A Model for Distribution and Revocation of Certificates
23. Altmetric Badge
    Chapter 22 Local Confluence for Rules with Nested Application Conditions
24. Altmetric Badge
    Chapter 23 Multi-Amalgamation in Adhesive Categories
25. Altmetric Badge
    Chapter 24 Amalgamating Pushout and Pullback Graph Transformation in Collagories
26. Altmetric Badge
    Chapter 25 ICGT 2010 Doctoral Symposium
27. Altmetric Badge
    Chapter 26 EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment
28. Altmetric Badge
    Chapter 27 Recognizable Graph Languages for the Verification of Dynamic Systems
29. Altmetric Badge
    Chapter 28 Stochastic Modelling and Simulation of Dynamic Resource Allocation
30. Altmetric Badge
    Chapter 29 Bisimulation Theory for Graph Transformation Systems
31. Altmetric Badge
    Chapter 30 Realizing Impure Functions in Interaction Nets
32. Altmetric Badge
    Chapter 31 Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures
33. Altmetric Badge
    Chapter 32 Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems
34. Altmetric Badge
    Chapter 33 LTS Semantics for Process Calculi from Their Graphical Encodings
35. Altmetric Badge
    Chapter 34 Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems
36. Altmetric Badge
    Chapter 35 Correctness of Graph Programs Relative to HR  +  Conditions
37. Altmetric Badge
    Chapter 36 Static Type Checking of Model Transformation Programs
38. Altmetric Badge
    Chapter 37 Using Graph Transformations and Graph Abstractions for Software Verification