On the Concurrent Semantics of Transformation Systems with Negative Application Conditions
Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall · Open Repository and Bibliography (University of Luxembourg) · 2012
Graph Transformation Systems (GTSs) are an integrated formal speci cation framework for modelling and analysing structural and behavioural aspects of systems. The evolution of a system is modelled by the application of rules to the graphs representing its states and, since typically such rules have local e ects, GTSs are particularly suitable for modelling concurrent and distributed systems where several rules can be applied in parallel. Thus, it is no surprise that a large body of literature is dedicated to the study of the concurrent semantics of graph transformation systems.