3-3-0

Concurrent systems are complicated; they consist of many components which may execute in parallel, and the complexity arises from the multitude of combinations in which they interact. Concurrency by its very nature introduces phenomena not present in sequential systems, such as deadlock and livelock. This course provides an introduction to an algebriac language (such as CSP) for specification, analysis, and verification of concurrent and real-time systems. It then goes and presents the use of such language as a formal method for concurrency at different stages in the development process.