On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems

DOI10.1016/j.jlamp.2019.100482zbMath1435.68131MaRDI QIDQ2011208

Andrea Corradini, Leila Ribeiro, Guilherme Grochau Azzi

Publication date: 28 November 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.100482

zbMATH Keywords

graph transformation; critical pair; initial conflict; parallel independence; double pushout

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68Q42: Grammars and rewriting systems

Uses Software

• AGG
• Verigraph
• AGREE