Title: Ein denotationales Modell für parallele objektbasierte Systeme
Subjects: Funktionale Semantik, MuPAD 1.1, Systemmodell