Ein denotationales Modell für parallele objektbasierte Systeme | Myboeken