TY - THES A1 - Schmidt, Alexander T1 - KStructur : ein Ansatz zur Analyse und Beschreibung von Nebenläufigkeit in Betriebssystemen Y1 - 2012 SN - 978-3-86955-977-1 PB - Guvillier CY - Göttingen ER -