Degree course: 
Corso di Second cycle degree in MATHEMATICS
Academic year when starting the degree: 
Academic year in which the course will be held: 
Course type: 
Supplementary compulsory subjects
First Semester
Standard lectures hours: 
Detail of lecture’s hours: 
Lesson (64 hours)

To attend the course of Process Algebras it is enough to have a 3-years degree in Computer Science or Mathematics.

A final exam is needed.
The student will expose a seminar on a chosen topic, based on scientific papers.

Voto Finale

After having attended the course of Process Algebras, the student will know the main syntactical structures of Process Algebras and their semantics. The student will know the notion of equivalence and its compositionality. The student will be able to write specifications with Process Algebras and to check the equivalence between specification and implementation. The student will also be able to deeply understand scientific papers dealing with this topic.

- Introductory example: Regular expressions (6h)
- Operational Semantics (6h)
- Denotational Semantics (6h)
- Concurrent Models (6h)
- Process Algebra Operators (6h)
- Equivalences (6h)
- CCS (6h)
- Modal Logic (6h)
- Quantitative Models (8h)
- Distance between probabilistic processes (8h)

The official material consists in the slides, which will be available on the e-learning website.

The course consists in 64 h of frontal lesson.
Lessons will be delivered by the lecturer with the help of slides which will be available on the website.

Borrowed from

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

Degree course in: MATHEMATICS