Index of /~degiacom/didattica/software-services/aa2012-13/lectures

Icon  Name                                                            Last modified      Size  Description
[DIR] Parent Directory                                                                     -   
[DIR] week1 - transition systems - bisimulation/                      12-Mar-2013 17:17    -   
[DIR] week2-3 - logics of programs - bisimulation/                    04-Jul-2013 19:58    -   
[DIR] week4 - service composition/                                    04-Jul-2013 19:59    -   
[DIR] week5 - nondeterministic service composition/                   09-Apr-2013 20:02    -   
[DIR] week6 - Vassos - video game technology and service composition/ 04-Jul-2013 19:55    -   
[DIR] week7-8-9-10 - Mecella - web services technologies/             04-Jul-2013 20:35    -   
[DIR] week11 - game structures/                                       04-Jul-2013 20:01    -   
[DIR] week12 - Patrizi - TLV synthesis system/                        05-Jul-2013 09:06    -