A General Framework for Well-Structured Graph Transformation Systems

DOI10.1007/978-3-662-44584-6_32zbMath1417.68135arXiv1406.4782OpenAlexW84263628MaRDI QIDQ3190136

Barbara König, Jan Stückrath

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.4782

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (3)

Inductive Invariant Checking with Partial Negative Application Conditions ⋮ Well-structured graph transformation systems ⋮ Parameterized verification of monotone information systems

This page was built for publication: A General Framework for Well-Structured Graph Transformation Systems