A. Corradini, “Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions”, eceasst, vol. 58, Jul. 2013.