CSP as a general concurrency model