Titolo:
An Introduction to Process Algebra. |
Relatore:
Prof. Marco Bernardo. |
Luogo:
Aula 2 Collegio Raffaello (Piazza della Repubblica 13). |
Orario:
16:00 - 18:00. |
Numero di crediti:
0.25. |
Vincoli di partecipazione:
Nessuno. |
Sommario:
Process algebra is an action-based formalism that provides
a set of powerful operators -- among which sequential composition,
alternative composition, and parallel composition -- by means of
which descriptions of complex systems can be built compositionally.
In this talk we recall the basics of process algebra, including syntax, structural operational semantics, and behavioral equivalences together with their properties. Then we discuss its strengths and weaknesses. |
Materiale on-line:
Lucidi (formato PDF). |
Docente di riferimento:
Prof. Marco Bernardo. |
Ultima modifica: 12/03/2008 | Approvato da: Presidente CCdL |