Index of /~degiacom/didattica/software-services/aa2010-11/lectures

Icon  Name                                              Last modified      Size  Description
[DIR] Parent Directory                                                       -   
[DIR] week1 - transition systems/                       15-Mar-2011 14:33    -   
[DIR] week2 - logics of programs/                       29-Mar-2011 12:12    -   
[DIR] week3 - bisimulation & hennessy milner logic/     29-Mar-2011 12:12    -   
[DIR] week4 - service composition/                      07-Apr-2011 20:07    -   
[DIR] week5 - nondeterministic service composition/     03-May-2011 11:40    -   
[DIR] week6 - web services - Mecella/                   03-May-2011 11:31    -   
[DIR] week7 - game structures/                          12-May-2011 14:41    -   
[DIR] week8 - business processes - Mecella/             18-May-2011 07:25    -   
[DIR] week9 - artifact centric processes/               28-May-2011 09:41    -   
[DIR] week10 - GSM artifacts - DeMasellis-Felli/        20-Jun-2011 20:22    -