Material

04/Jun/13 Equivalencia de comportamiento basado en reducción E.B. Transparencias
28/May/13 Variantes de pi-cálculo y semántica de reducción H.M. Transparencias
21/May/13 Bisimilaridad fuerte, técnicas up-to, bisimilaridad E.B. Transparencias
12/May/10 Introducción a pi-cálculo E.B. Transparencias
06/May/13 Bisimilaridad débil y upto H.M. Transparencias
21/Abr/13 Conjuntos coinductivos y principio de coinducción E.B. Transparencias
12/Abr/13 Equivalencia de comportamiento. Bisimilaridad fuerte H.M. Transparencias
09/Abr/13 Introducción a CCS H.M. Transparencias
09/Abr/13 Intro H.M. Transparencias