Index of /~degiacom/didattica/software-services/aa2011-12/lectures

Icon  Name                                                  Last modified      Size  Description
[DIR] Parent Directory - [DIR] week13 - mecella - smart homes services - case study/ 25-Feb-2013 21:59 - [DIR] week11-12 - parizi - TLV/ 25-Feb-2013 21:58 - [DIR] week10 - game structures/ 25-Feb-2013 21:57 - [DIR] week7-8-9 - mecella - web services technologies/ 25-Feb-2013 22:08 - [DIR] week5 - nondeterministic service composition/ 25-Feb-2013 22:07 - [DIR] week4 - service composition/ 25-Feb-2013 22:03 - [DIR] week3 - bisimulation & hennessy milner logic/ 25-Feb-2013 22:00 - [DIR] week2 - logics of programs/ 25-Feb-2013 22:00 - [DIR] week1 - transition systems/ 25-Feb-2013 21:56 -