The Edge of Graph Transformation — Graphs for Behavioural Specification
From MaRDI portal
Publication:3059705
Recommendations
- Graph transformation for specification and programming
- Graph transformation, specifications, and nets. In memory of Hartmut Ehrig
- Verifying a behavioural logic for graph transformation systems
- Graph Transformation with Dependencies for the Specification of Interactive Systems
- Graph Transformations
- scientific article; zbMATH DE number 2016064
- scientific article; zbMATH DE number 1231497
Cites work
- scientific article; zbMATH DE number 4049108 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1231487 (Why is no real title available?)
- scientific article; zbMATH DE number 1231508 (Why is no real title available?)
- scientific article; zbMATH DE number 2016090 (Why is no real title available?)
- scientific article; zbMATH DE number 1863157 (Why is no real title available?)
- scientific article; zbMATH DE number 1863175 (Why is no real title available?)
- scientific article; zbMATH DE number 1437942 (Why is no real title available?)
- 15 Years of Triple Graph Grammars
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- A Modal-Logic Based Graph Abstraction
- A framework for the verification of infinite-state graph transformation systems
- Abstract graph transformation
- Algebraic hierarchical graph transformation
- Analysis of UML Activities Using Dynamic Meta Modeling
- Composition and Decomposition of DPO Transformations with Borrowed Context
- Compositionality in graph transformation
- Development of Correct Graph Transformation Systems
- Distributed graphs and graph transformation
- Efficient SAT-based bounded model checking for software verification
- Efficient graph rewriting and its implementation
- Fundamental Approaches to Software Engineering
- Fundamental Approaches to Software Engineering
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- Fundamentals of algebraic graph transformation
- GXL: a graph-based standard exchange format for reengineering
- GrGen: A Fast SPO-Based Graph Rewriting Tool
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Graph Transformation in Constant Time
- Graph Transformations
- Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
- Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 -- October 2, 2004. Proceedings.
- Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17--23, 2006. Proceedings
- Graph-Based Tools: The Contest
- Handbook of Graph Grammars and Computing by Graph Transformation
- Handbook of Graph Grammars and Computing by Graph Transformation
- Hierarchical graph transformation
- Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995
- Parallel high-level replacement systems
- Pure bigraphs: structure and dynamics
- Static Analysis of Dynamic Communication Systems by Partner Abstraction
- Symbolic model checking: \(10^{20}\) states and beyond
- Tools and Algorithms for the Construction and Analysis of Systems
- Towards common exchange formats for graphs and graph transformation systems
Describes a project that uses
Uses Software
This page was built for publication: The Edge of Graph Transformation — Graphs for Behavioural Specification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3059705)
