"Brief announcement: From sequential to concurrent: correctness and ..."

Vincent Gramoli, Petr Kuznetsov, Srivatsan Ravi (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics