Title: Untersuchung zweier denotationaler Semantikdefinitionen von CSP