PROCESS ALGEBRAS

Degree course: 
Corso di Second cycle degree in INFORMATICA
Academic year when starting the degree: 
2016/2017
Year: 
1
Academic year in which the course will be held: 
2016/2017
Course type: 
Compulsory subjects, characteristic of the class
Credits: 
6
Period: 
First Semester
Standard lectures hours: 
48
Detail of lecture’s hours: 
Lesson (48 hours)
Requirements: 

None, for students with the 3 years degree in computer science or mathematics.

Final Examination: 
Orale
Assessment: 
Voto Finale

Course description and learning objectives

The topic is that of Process Algebras, a formalism initially designed for the formal description of concurrent systems, which has also been employed in the specification of distributed systems, mobile systems and, recently, biological systems. Process algebras offer the mechanisms to describe, at high level, interactions, communications and synchronizations between processes/agents. We will show possible applications, from the specification of communication protocols to the specification of multi-scale biological formalisms. After having attended the course, the students will be able to properly use the formalism.

Course syllabus

- Base constructs to describe interactions, communications and synchronizations between processes.
- Specification of communication protocols.
- Specification of multi-scale biological systems.
- Structural Operational Semantics.
- Behavioral equivalences between processes.
- Congruence properties of behavioral equivalences.

Teaching methods
64 hours of lesson.

Course bibliography
The material consists in the slides available on the e-elearning website.

Final assessment
There are two options. Usually the student presents an argument that has not been presented during the regular lessons. The other option consists in classical questions by the teacher and answers by the student.

Convenzionale

Borrowed from

click on the activity card to see more information, such as the teacher and descriptive texts.

Degree course in: MATHEMATICS