Concurrency control generation for dynamic threads using discrete-event systems

Anthony Auer, Jürgen Dingel, Karen Rudie. Concurrency control generation for dynamic threads using discrete-event systems. Science of Computer Programming, 82:22-43, 2014. [doi]

Abstract

Abstract is missing.