Proving Termination of Graph Transformation Systems using Weighted ...

Reference

H.J. Sander Bruggink, Barbara König, Dennis Nolte, and Hans Zantema. Proving termination of graph transformation systems using weighted type graphs over semirings. In Proc. of ICGT '15 (International Conference on Graph Transformation), volume 9151 of LNCS. Springer, 2015.

Suggested BibTeX entry:

@inproceedings{BKNZ15,
    author = {H.J. Sander Bruggink and Barbara K{\"o}nig and Dennis Nolte and Hans Zantema},
    booktitle = {Proc. of ICGT '15 (International Conference on Graph Transformation)},
    publisher = {Springer},
    series = {LNCS},
    title = {Proving Termination of Graph Transformation Systems using Weighted Type Graphs over Semirings},
    volume = {9151},
    year = {2015}
}



PDF (391 kB)Extended version
© University of Duisburg-Essen, Theoretical Computer Science group