Prácticas

21/May/13 Práctica 5 Pi-cálculo archivo
12/May/13 Práctica 4 Pi-cálculo archivo
06/May/13 Práctica 3 Bisimilaridad Débil y tecnicas up-to archivo
21/Abr/13 Práctica 2 Coinducción y bisimilaridad archivo
12/Abr/13 Práctica 1 CCS archivo