Termination Analysis for Graph Transformation Systems
From MaRDI portal
Publication:3190160
DOI10.1007/978-3-662-44602-7_15zbMath1417.68074OpenAlexW2125223606MaRDI QIDQ3190160
Barbara König, H. J. Sander Bruggink, Hans Zantema
Publication date: 15 September 2014
Published in: Advanced Information Systems Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44602-7_15
Related Items (6)
Termination of Cycle Rewriting by Transformation and Matrix Interpretation ⋮ Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings ⋮ Patch Graph Rewriting ⋮ A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ Unnamed Item ⋮ Grez
This page was built for publication: Termination Analysis for Graph Transformation Systems
