<eng>Formal Models and Methods for Concurrency</eng> | Faculty of Technical Sciences

Subject: Formal Models and Methods for Concurrency (17.DOM66)

Type of studies	Title
Doctoral Academic Studies	Mathematics in Engineering (Year: 1, Semester: Winter)
Doctoral Academic Studies	Mathematics in Engineering (Year: 2, Semester: Winter)

General information:

Category	Scientific-professional
Scientific or art field	Applied Computer Science and Informatics Teorijska i primenjena matematika
ECTS	10

The main goal of the course is the introduction of doctoral students into mathematical theory that contains the theoretical basis and techniques for formal reasoning about concurrent and distributed systems. The aim is for young researchers to master basic knowledge from the formal calculus CCS, the Pi- calculus and the type system for sessions with one or more participants. Young researchers will join research groups.

Acquired knowledge about fundamental models of concurrency (CCS calculus, Pi calculus and session types) and methods for verifications of their properties. Young researchers understand state-of-the-art in the field and collaborate in research efforts of national or international research teams.

Pi-Calculus for modeling mobile systems: syntax, reduction semantics, LTS. Equivalence of reduction and LTS semantics. Behavioural equivalences. Type system for access control. Behavioural types: binary and multiparty session types.

The presentation of the theoretical part during the lectures is followed by the characteristic examples which contribute to better understanding of the subject matter. The students are expected to individually study the additional literature which they discuss with the . subject teacher at the consultation classes. Through research and study work the student will, on the bases of scientific journals and other relevant literature that has been studied independently, develop further understanding of the material covered in lectures. Working with the course teacher the student develops the ability to independently work on a scientific paper.

Authors	Title	Year	Publisher	Language
Sangiorgi, D., Walker, D.	The Pi-Calculus : A Theory of Mobile Processes	2001	Cambridge University Press	English
Pierce, B.	Types and Programming Languages	2002	The MIT Press, Massachusetts	English