The Edge of Graph Transformation — Graphs for Behavioural Specification
DOI10.1007/978-3-642-17322-6_2zbMATH Open1309.68112OpenAlexW2117825935MaRDI QIDQ3059705FDOQ3059705
Authors: Arend Rensink
Publication date: 26 November 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17322-6_2
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
Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- GrGen: A Fast SPO-Based Graph Rewriting Tool
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
- GXL: a graph-based standard exchange format for reengineering
- Symbolic model checking: \(10^{20}\) states and beyond
- Title not available (Why is that?)
- A Modal-Logic Based Graph Abstraction
- Handbook of Graph Grammars and Computing by Graph Transformation
- Handbook of Graph Grammars and Computing by Graph Transformation
- Pure bigraphs: structure and dynamics
- Fundamentals of algebraic graph transformation
- Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 -- October 2, 2004. Proceedings.
- Title not available (Why is that?)
- Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7--13, 2008. Proceedings
- Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17--23, 2006. Proceedings
- Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
- A framework for the verification of infinite-state graph transformation systems
- Fundamental Approaches to Software Engineering
- Hierarchical graph transformation
- Algebraic hierarchical graph transformation
- Graph Transformations
- Graph Transformation in Constant Time
- Compositionality in graph transformation
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Efficient SAT-based bounded model checking for software verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fundamental Approaches to Software Engineering
- Abstract graph transformation
- Tools and Algorithms for the Construction and Analysis of Systems
- Composition and Decomposition of DPO Transformations with Borrowed Context
- Title not available (Why is that?)
- Analysis of UML Activities Using Dynamic Meta Modeling
- Joint COMPUGRAPH/ SEMAGRAPH workshop on Graph rewriting and computation (SEGRAGRA '95). Selected papers from the workshop, Volterra, Italy, August 28 - September 1, 1995
- Title not available (Why is that?)
- Parallel high-level replacement systems
- Title not available (Why is that?)
- Efficient graph rewriting and its implementation
- Distributed graphs and graph transformation
- 15 Years of Triple Graph Grammars
- Towards common exchange formats for graphs and graph transformation systems
- Development of Correct Graph Transformation Systems
- Graph-Based Tools: The Contest
- Static Analysis of Dynamic Communication Systems by Partner Abstraction
- Title not available (Why is that?)
Cited In (1)
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)