Improving conflict detection in double-pushout graph transformation

[Free GPT-4]
[DeepSeek]
[HTML] sciencedirect.com

[HTML][HTML] On the essence and initiality of conflicts in M-adhesive transformation systems

GG Azzi, A Corradini, L Ribeiro - Journal of Logical and Algebraic Methods …, 2019 - Elsevier
Understanding conflicts between transformation steps and rules is an important topic in
algebraic graph transformation. A conflict occurs when two transformation steps are not …
Salva Cita Citato da 21 Articoli correlati Tutte e 2 le versioni