Office of Academic Affairs
Indian Institute of Science Education and Research Bhopal

Electrical Engineering and Computer Science

ECS 402: Concurrency Theory (4)

Learning Objectives:

A reactive system comprises networks of computing components, achieving their goals through interaction among themselves and their environment. This course aims to develop a general-purpose theory that can be used to describe, and reason about, reactive systems. We introduce Milner's Calculus of Communicating Systems (CCS) for modelling reactive systems, its structural operational semantics, together with the notions of behavioural equivalences and recursive extensions of Hennessy-Milner logic (HML). We also study CCS with time delays, timed automata, timed behavioural equivalences and HML with time.

Course Contents:

Selected Readings:

Previous Back to Course List Next