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