Communication and Concurrency

Convenor

Dr. I. Ulidowski

Course Code

CO7007

Description

A concurrent system is a system consisting of several components such that each component acts concurrently with, and independently of, the other components, and the components can also communicate (or interact) with each other to synchronize their behaviour or to exchange information. In recent decades there has been much interest in and demand for concurrent systems such as, for example, communication networks, air traffic controllers and industrial plant control systems. As concurrent systems are often very complex and essential in our everyday life, it is vital that they are highly reliable. Therefore, there is a growing need for formal description languages and software tools that can assist us in the design and construction of reliable concurrent systems. The module will provide students with the opportunity to study the language CCS and the software tool Concurrency Workbench of New Century, and how they can be used to describe, design and verify simple concurrent and communicating systems.