Index of /~degiacom/didattica/software-services/aa2013-14/lectures
Name Last modified Size Description
Parent Directory -
week9 - the TLV system (a model checker for game structure) - by Fabio Patrizi/ 22-Feb-2015 19:25 -
week8 - synthesis of partially controllable system through model checking game structure/ 22-Feb-2015 19:25 -
week7 - video game technology and service composition - by Stavros Vassos/ 22-Feb-2015 19:24 -
week5-6 - service composition - nondetermnism and partial controllability/ 22-Feb-2015 19:24 -
week4 - service composition/ 22-Feb-2015 19:23 -
week3 - logics of programs - bisimulation invariance/ 22-Feb-2015 19:22 -
week2 - simulation vs bisimulation/ 22-Feb-2015 19:21 -
week10-13 - web services technologies - by Massimo Mecella/ 22-Feb-2015 19:21 -
week1 - transition systems - bisimulation/ 22-Feb-2015 19:20 -