Denotationales Modell Für Parallele Objektbasierte Systeme | lit.salon