MIN-Fakultät Fachbereich Informatik Bibliothek
Kummer, Olaf
Axiomensysteme für die Theorie der Nebenläufigkeit