TY - THES A1 - Schmidt, Alexander T1 - KStructur : ein Ansatz zur Analyse und Beschreibung von Nebenläufigkeit in Betriebssystemen Y1 - 2012 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/32990 SN - 978-3-86955-977-1 PB - Guvillier CY - Göttingen ER -