Transformation Systems with Incremental Negative Application Conditions

DOI10.1007/978-3-642-37635-1_8zbMath1394.68196OpenAlexW2176736714MaRDI QIDQ2848878

Susann Gottmann, Frank Hermann, Andrea Corradini, Nico Nachtigall, Reiko Heckel

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_8

zbMATH Keywords

graph transformationconcurrent semanticsnegative application conditionsswitch equivalence

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Unnamed Item

This page was built for publication: Transformation Systems with Incremental Negative Application Conditions