Ein denotationales Modell für parallele objektbasierte Systeme | DealShopping Deutschland