Course 2022-2023

Semantic approaches [INFOM441]

  • 5 credits
  • 30h+15h
  • 1st quarter
Language of instruction: French / Français

Learning outcomes

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.

Objectives

This course aims at studying the basic concepts and techniques on which process algebra rely. 

Content

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.


Teaching methods

The course is organized as a set of lectures coupled to practicals. Theories are explained in the lectures together with some elementary exercices. Practicals give the opportunity to study further the application of the theories, in particular through the use of tools and the languages CCS and CSP.

Evaluations

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.

Recommended readings

Wan Fokkink, Introduction to Process Algebra, Springer-Verlag, 1999.

Language of instruction

French / Français

Location for course

NAMUR

Organizer

Faculté d'informatique
rue Grandgagnage 21
5000 NAMUR
P. 081725252
F. 081724967
secretariat.info@unamur.be

Degree of Reference

Master's Degree