Combining termination proofs in model transformation systems

DOI10.1017/S0960129512000369zbMath1342.68175MaRDI QIDQ5740376

Reiko Heckel, Dénes Bisztray

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Cites Work

• Fundamentals of algebraic graph transformation
• Termination Analysis of Model Transformations by Petri Nets
• Combining Termination Criteria by Isolating Deletion
• Finitary $\mathcal{M}$ -Adhesive Categories
• Unnamed Item
• Unnamed Item

This page was built for publication: Combining termination proofs in model transformation systems