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.
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.
| Training | Study programme | Block | Credits | Mandatory |
|---|---|---|---|---|
| Master 60 en sciences informatiques | Standard | 0 | 5 | |
| Master 120 en sciences informatiques, à finalité spécialisée en software engineering | Standard | 0 | 5 | |
| Master 120 en sciences informatiques, à finalité spécialisée en data science | Standard | 0 | 5 | |
| Master 60 en sciences informatiques | Standard | 1 | 5 | |
| Master 120 en sciences informatiques, à finalité spécialisée en software engineering | Standard | 2 | 5 | |
| Master 120 en sciences informatiques, à finalité spécialisée en data science | Standard | 2 | 5 |