שליחה במסרון: The Meaning and Implementation of SKIP in CSP