| 29/10/10 |
Temas para trabajo final |
H.M. |
Transparencias |
| 29/10/10 |
Codificación de datos y lambda cálculo |
E.B. |
Transparencias |
| 29/10/10 |
Equivalencia de comportamiento basado en reducción |
H.M. |
Transparencias |
| 25/10/10 |
Pi-cálculo poliádico, recursión y semántica de reducción |
H.M. |
Transparencias |
| 12/10/10 |
Variantes de pi-cálculo y semántica de reducción |
E.B. |
Transparencias |
| 09/10/10 |
Bisimilaridad fuerte, técnicas up-to, bisimilaridad |
E.B. |
Transparencias |
| 01/10/10 |
Introducción a pi-cálculo |
H.M. |
Transparencias |
| 27/09/10 |
Bisimilaridad débil y upto |
E.B. |
Transparencias |
| 14/Sep/10 |
Conjuntos coinductivos y principio de coinducción |
E.B. |
Transparencias |
| 17/Ago/10 |
Equivalencia de comportamiento. Bisimilaridad fuerte |
H.M. |
Transparencias |
| 17/Ago/10 |
Motivación e introducción a CCS |
H.M. |
Transparencias |