Finding the right way to Rome: effect-oriented graph transformation
From MaRDI portal
Publication:6535506
DOI10.1007/978-3-031-36709-0_3zbMATH Open1545.68059MaRDI QIDQ6535506
Jens Kosiol, G. Taentzer, Steffen Zschaler, Daniel Strüber
Publication date: 12 January 2024
Could not fetch data.
Could not fetch data.
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Variability-based model transformation: formal foundation and application
- Algebraic approach to single-pushout graph transformation
- The PBPO graph transformation approach
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Fundamentals of algebraic graph transformation
- Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- Sesqui-Pushout Rewriting
- Correctness of high-level transformation systems relative to nested conditions
- Graph Consistency as a Graduated Property
- Adhesive and quasiadhesive categories
- Multi-amalgamation of rules with application conditions in -adhesive categories
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
- Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
This page was built for publication: Finding the right way to Rome: effect-oriented graph transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535506)
