"Generation of concurrency control code using discrete-event systems theory."

Christopher Dragert, Jürgen Dingel, Karen Rudie (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics