@article{GT-VMT-2013-Corradini,
	author        = "Andrea Corradini",
	ee            = "http://journal.ub.tu-berlin.de/eceasst/article/view/837",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions}",
	volume        = 58,
	year          = 2013,
}