add csp comm. semantics slide