Christopher Dragert, Jürgen Dingel, Karen Rudie. Generation of concurrency control code using discrete-event systems theory. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 146-157, ACM, 2008. [doi]
Abstract is missing.