Title: Structured protocol specification based on CSP