PROCESS ALGEBRAS
- Overview
- Assessment methods
- Learning objectives
- Contents
- Bibliography
- Delivery method
- Teaching methods
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.
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.