Prácticas
| 12/10/10 | Práctica 7 | Pi-cálculo: Poliadicidad, Recursión, Reducción, Codificación de datos | archivo |
| 09/Oct/10 | Práctica 6 | Pi-cálculo: Bisimilaridad | archivo |
| 01/Oct/10 | Práctica 5 | Pi-cálculo | archivo |
| ??/??/10 | Práctica 4 | CCS: Replicación, recursion y pasaje de parámetros | ??? |
| 17/Sep/10 | Práctica 3 | Bisimilaridad Débil y tecnicas up-to | archivo |
| 15/Sep/10 | Práctica 2 | Coinducción y bisimilaridad | archivo |
| 17/Ago/10 | Práctica 1 | CCS | archivo |