[HTML][HTML] On the essence and initiality of conflicts in M-adhesive transformation systems
Understanding conflicts between transformation steps and rules is an important topic in
algebraic graph transformation. A conflict occurs when two transformation steps are not …
algebraic graph transformation. A conflict occurs when two transformation steps are not …
On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
Parallel independence between transformation steps is a basic notion in the algebraic
approaches to graph transformation, which is at the core of some static analysis techniques …
approaches to graph transformation, which is at the core of some static analysis techniques …
Algebraic graph rewriting with controlled embedding
Graph transformation is a specification technique suitable for a wide range of applications,
specially the ones that require a sophisticated notion of state. In graph transformation, states …
specially the ones that require a sophisticated notion of state. In graph transformation, states …
Characterisation of parallel independence in AGREE-rewriting
M Löwe - … : 11th International Conference, ICGT 2018, Held as …, 2018 - Springer
AGREE is a new approach to algebraic graph transformation. It provides sophisticated
mechanisms for object cloning and non-local manipulations. It is for example possible to …
mechanisms for object cloning and non-local manipulations. It is for example possible to …
A Unifying Theory for Graph Transformation
R Overbeek - 2024 - research.vu.nl
The field of graph transformation studies the rule-based transformation of graphs. An
important branch is the algebraic graph transformation tradition, in which approaches are …
important branch is the algebraic graph transformation tradition, in which approaches are …
On the definition of parallel independence in the algebraic approaches to graph transformation
A Corradini - … : Applications and Foundations: STAF 2016 Collocated …, 2016 - Springer
Parallel independence between transformation steps is a basic and well-understood notion
of the algebraic approaches to graph transformation, and typically guarantees that the two …
of the algebraic approaches to graph transformation, and typically guarantees that the two …
[PDF][PDF] VU Research Portal
MM Overbeek - Nuclear medicine and biology, 2013 - research.vu.nl
VU Research Portal VU Research Portal Refractory Coeliac Disease Verbeek, WHM 2009
document version Publisher's PDF, also known as Version of record Link to publication in VU …
document version Publisher's PDF, also known as Version of record Link to publication in VU …
[CITAZIONE][C] CASYS team activities 2014-2018
N Bordes, A Breust, CC EC, R Coleman, JG Dumas… - 2019