Ein denotationales Modell für parallele objektbasierte Systeme | lit.salon