Ein denotationales Modell für parallele objektbasierte Systeme