Graph Transformation Units – An Overview

DOI10.1007/978-3-540-68679-8_5zbMath1144.68032OpenAlexW3423333MaRDI QIDQ3507357

Sabine Kuske, Hans-Joerg Kreowski, Grzegorz Rozenberg

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (7)

An Institution for Graph Transformation ⋮ Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs ⋮ Polynomial graph transformability ⋮ Unnamed Item ⋮ A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting ⋮ Labelled port graph -- a formal structure for models and computations ⋮ A case study on the graph-transformational modeling and analysis of puzzles

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph transformation units with interleaving semantics
• Formal software specification with refinements and modules of typed graph transformation systems
• Graph transformation for specification and programming
• Fundamentals of algebraic graph transformation
• Sesqui-Pushout Rewriting
• Adaptive Star Grammars
• Autonomous Units and Their Semantics — The Sequential Case
• Autonomous Units and Their Semantics - The Parallel Case
• Handbook of Graph Grammars and Computing by Graph Transformation
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Graph Transformations
• Formal Methods in Software and Systems Modeling

This page was built for publication: Graph Transformation Units – An Overview