On the essence and initiality of conflicts inM-adhesive transformation systems-Reference-Cited by-同舟云学术

On the essence and initiality of conflicts inM-adhesive transformation systems

Author:

Grochau Azzi Guilherme^ORCID,Corradini Andrea^ORCID,Ribeiro Leila

Funder

Coordenação de Aperfeiçoamento de Pessoal de Nìvel Superior

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference67 articles.

1. Abstract and Concrete Categories;Adamek,1990

2. 20 years of triple graph grammars: a roadmap for future research;Anjorin;Electron. Commun. EASST,2015

3. Improving Conflict Detection in Double-Pushout Graph Transformation;Azzi,2018

4. The verigraph system for graph transformation;Azzi,2018

5. On the essence and initiality of conflicts;Azzi,2018

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A simple criterion for M,N-adhesivity;Theoretical Computer Science;2024-01

2. Fundamentals of compositional rewriting theory;Journal of Logical and Algebraic Methods in Programming;2023-10

3. Unification of drags and confluence of drag rewriting;Journal of Logical and Algebraic Methods in Programming;2023-02