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.