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

Icon  Name                                                  Last modified      Size  Description
[DIR] Parent Directory                                                           -   
[DIR] week1 - transition systems - bisimulation/            12-Mar-2013 17:17    -   
[DIR] week2 - simulation vs bisimulation/                   07-Mar-2014 13:09    -   
[DIR] week3 - logics of programs - bisimulation invariance/ 01-Apr-2014 16:39    -   
[DIR] week4 - service composition/                          19-Mar-2014 11:03    -