שליחה במסרון: An Operational Semantics for CSP