Frank Zetzsche

• Untersuchung zweier denotationaler Semantikdefinitionen von CSP