and Global Computing
and Ivan Scagnetto
In the era of Internet and Global
Computing, the classical algorithmic view of a standalone computing system
has been replaced by that of a reactive system, which computes by reacting
to stimuli from its environment. Key features of reactive systems are
parallelism, communication via interaction, non-termination …
Such concurrent systems rapidly become complex and difficult to analyze.
Phenomena like deadlock, starvation, and properties such as safey, liveness,
security have to be discussed. These calls for abstract models of reactive
systems and for a theory for rigorously reasoning on them.
In the first part of the course, we focus on the theory of reactive systems,
by presenting three well-established abstract models for them: Milner’s
algebra of CCS processes, Milner’s pi-calculus, and Cardelli-Gordon ambient
The second part of the course is devoted to a general overview of some
“real” technologies and applications (e.g., server side technologies,
distributed middleware etc), for which the above theory has been developed.
Slides Part Two.