Estonian Winter Schools in Computer Science
Eesti arvutiteaduse talvekoolid
In this course we introduce three of the basic notions that we shall use to describe, specify and analyze reactive systems, namely
We shall present a general theory of reactive systems and its applications. In particular, we intend to show how to describe actual systems using terms in our chosen models (that is, either as terms in the process description language CCS or as labelled transition systems), to offer specifications of the desired behaviour of systems either as terms of our models or as formulae in HML. We also show how to manipulate these descriptions, possibly (semi-)automatically, in order to analyze the behaviour of the model of the system under consideration.
Modified Jun 01, 2007 11:58