Concurrent and Real-time Systems : The CSP Approach

Concurrent systems are very complicated. They consist of many components which may execute in parallel and the complexity arises from the combinations of ways in which their parts can interact. The design of such systems requires ways of keeping these interactions under control. The presence of time adds another dimension to the complexity.