Foundations of Information Technologies

- FIT 2009 -

June 14-27, 2009, Novi Sad

General Information
Courses and Lecture Notes
Local Information





Concurrent and Global Computing

Marina Lenisa 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 calculus.
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 One.                                                                                     Slides Part Two.