SEMINARIO DEL GIORNO 04/03/2008

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