Brandenburg, B.(2012). Virtually Exclusive Resources (MPI-SWS-2012-005). Saarbrücken: MPI for Software Systems.