Emile H.L. Aarts
Algorithems Algorithmus Betriebssystem (EDV) Concurrency Logies and Meanings of Programs Logik und Bedeutung von Programmen Operating Systems Parallel Architectures architecture configuration formal specification parallel programming programming programming language semantics