Justifying the strong memory semantics of concurrent high-level programming languages for system programming - Oberhauser, Jonas (Verfasser); Paul, Wolfgang Jakob (Akademischer Betreuer) (Saarländische Universitäts- und Landesbibliothek, 2018)