The use of semantics as tools to understand and reason on programs is widely acknowledged. In that context, process algebra is a theory widely used. At the end of this cours, the student will master the basic concepts and techniques on which process algebra rely and will be able to apply them to model and reason on concurrent and distributed systems.
Moreover, during the course, the student will be asked to model problems, which will force him to develop two soft skills: creativity and problem solving.
This course aims at studying the basic concepts and techniques on which process algebra rely.
The course is based on the study of concurrent and communicating process algebras from the point of view of different semantics: operational semantics and algebraic semantics.
The exam is composed of two parts: on the one hand, the presentation of an article or a research work by the student, and, on the other hand, the resolution of an exercice, similar to those studied in the course.
Wan Fokkink, Introduction to Process Algebra, Springer-Verlag, 1999.