==========================================================

Formal models for distributed negotiations

Dr. Roberto Bruni. Computer Science Department University of Pisa.

Prerrequisitos del curso: Poseer nociones básicas de lógica. Es aconsejable tener conocimientos básicos en redes de Petri y/o álgebras de procesos, aunque no es obligatorio.

===========================================================