Consistency, isolation, and irrevocability in software transactional memory : = Konsistenz, Isolation und Unwiderruflichkeit in Software Transactional Memory - Bieniusa, Annette (Verfasser); Thiemann, Peter (Akademischer Betreuer) (Universität, 2011)