Faculty of Technical Sciences

University of Novi Sad

Subject: Theory of Mobile Processes (17.D0M13L)

Native organizations units: Department of Fundamentals Sciences
 
Type of studies Title
Doctoral Academic Studies Mathematics in Engineering (Godina: 1, Summer)
Doctoral Academic Studies Mathematics in Engineering (Godina: 1, Summer)
General information:
 
Category Scientific-professional
Scientific or art field Teorijska i primenjena matematika
Interdisciplinary Yes
ECTS 10
Educational goal:

The main objective of the course is to familiarise PhD student with basic concepts, results and methods from the theory of mobile processes. The goal is to acquire fundamental knowledge of basic elements (process, communication, competitiveness, ...) and techniques for understanding formal models for mobile processes. Another goal is that young researcher gets involved in the work of a research group, according to his/her interests.

Educational outcome:

Knowledge about fundamental notions and tools for studying calculi of mobile processes. Inclusion into national or international research teams.

Course content:

Introduction to mobile processes: processes, communication, concurrency, mobility and interference. Behaviour of mobile processes: transition and bisimilarity relations, structural equivalences and reductions, equational theories, logics and types. A calculus of mobile processes (students' choices). Optional field (reversible computation, modelling communication protocols, self-adaptive systems, nature inspired software systems etc.)

Teaching methods:

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.

Literature:
Authors Title Year Publisher Language
Milner,R.,Parrow,Z., Walker, D. A calculus of mobile processes. Part I and II. 1992 Information and Computation, 100 (1) English
Milner, R. Communication and concurrency 1989 Prantice Hall, Harlow English
Knowledge evaluation:
Course activity Pre-examination Obligations Number of points
Theoretical part of the exam No Yes 50.00
Project Yes Yes 50.00
Lecturers:
API Image

prof. dr Pantović Jovanka

Full Professor

Study research work

doc. Prokić Ivan

Assistant Professor

Lectures
API Image

prof. dr Gilezan Silvia

Full Professor

Lectures
API Image

prof. dr Gilezan Silvia

Full Professor

Study research work
API Image

prof. dr Pantović Jovanka

Full Professor

Lectures

doc. Prokić Ivan

Assistant Professor

Study research work

Faculty of Technical Sciences

University of Novi Sad
Facebook Instagram Tiktok X-twitter Youtube Linkedin

© 2024. Faculty of Technical Sciences.

Contact:

Address: Trg Dositeja Obradovića 6, 21102 Novi Sad

Phone:  (+381) 21 450 810
(+381) 21 6350 413

Fax : (+381) 21 458 133
Emejl: ftndean@uns.ac.rs

© 2024. Faculty of Technical Sciences.