Author:
Corradini Andrea,Duval Dominique,Echahed Rachid,Prost Frédéric,Ribeiro Leila
Subject
General Computer Science,Theoretical Computer Science
Reference35 articles.
1. Abstract and Concrete Categories;Adamek,1990
2. Graph transformation for specification and programming;Andries;Sci. Comput. Program.,1999
3. Pullback as a generic graph rewriting mechanism;Bauderon;Appl. Categ. Struct.,2001
4. Parallel and sequential independence for borrowed contexts;Bonchi,2008
5. Restriction categories II: partial map classification;Cockett;Theor. Comput. Sci.,2003
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generalized Weighted Type Graphs for Termination of Graph Transformation Systems;Lecture Notes in Computer Science;2024
2. Graph rewriting and relabeling with PBPO+: A unifying theory for quasitoposes;Journal of Logical and Algebraic Methods in Programming;2023-06
3. PBPO+ Graph Rewriting in Context;Electronic Proceedings in Theoretical Computer Science;2023-04-01
4. Termination of Graph Transformation Systems Using Weighted Subgraph Counting;Graph Transformation;2023
5. Pattern Matching Algorithm in Event Graphs;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12