Return to Article Details Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions Download Download PDF