Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach
Artikel i vetenskaplig tidskrift, 2019
Critical pair analysis (CPA)
Graph transformation (double pushout approach)
Parallel independence
Författare
Leen Lambers
Universität Potsdam
Kristopher Born
Philipps-Universität Marburg
Jens Kosiol
Philipps-Universität Marburg
Daniel Strüber
Göteborgs universitet
Gabriele Taentzer
Philipps-Universität Marburg
Journal of Logical and Algebraic Methods in Programming
2352-2208 (ISSN) 2352-2216 (eISSN)
Vol. 103 105-129Ämneskategorier
Språkteknologi (språkvetenskaplig databehandling)
Datavetenskap (datalogi)
Datorsystem
DOI
10.1016/j.jlamp.2018.11.004