Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions

Andrea Corradini. Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions. ECEASST, 58, 2013. [doi]

Abstract

Abstract is missing.