Title: Denotationales Modell Für Parallele Objektbasierte Systeme