On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches-Reference-Cited by-同舟云学术

On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches

Published:2018 Issue: Volume: Page:1-18
ISSN:0302-9743
Container-title:Graph Transformation, Specifications, and Nets
language:
Short-container-title:

Author:

Corradini Andrea^ORCID,Duval Dominique,Löwe Michael,Ribeiro Leila,Machado Rodrigo,Costa Andrei,Azzi Guilherme Grochau^ORCID,Bezerra Jonas Santos^ORCID,Rodrigues Leonardo Marques^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-75396-6_1

Reference22 articles.

1. Bezerra, J.S., Costa, A., Azzi, G., Rodrigues, L.M., Machado, R., Ribeiro, L.: Verites/verigraph: parallel independence benchmarks, June 2017. https://doi.org/10.5281/zenodo.814246

2. Bezerra, J.S., Costa, A., Ribeiro, L., Cota, É.F.: Formal verification of health assessment tools: a case study. Electr. Notes Theor. Comput. Sci. 324, 31–50 (2016). https://doi.org/10.1016/j.entcs.2016.09.005

3. Lecture Notes in Computer Science;K Born,2017

4. Lecture Notes in Computer Science;A Corradini,2016

5. Lecture Notes in Computer Science;A Corradini,2016

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

1. String diagram rewrite theory III: Confluence with and without Frobenius;Mathematical Structures in Computer Science;2022-06-13

2. Parallel Independence in Attributed Graph Rewriting;Electronic Proceedings in Theoretical Computer Science;2021-02-08

3. Parallel Coherent Graph Transformations;Recent Trends in Algebraic Development Techniques;2021

4. Combining Parallel Graph Rewriting and Quotient Graphs;Rewriting Logic and Its Applications;2020

5. Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework;Electronic Proceedings in Theoretical Computer Science;2019-12-20