Index of /~degiacom/didattica/software-services/aa2012-13/lectures/week2-3 - logics of programs - bisimulation

Icon  Name                                                       Last modified      Size  Description
[DIR] Parent Directory                                                                -   
[   ] 1-fixpoints-2up.pdf                                        02-Dec-2012 13:27  252K  
[   ] 2-Logics of programs2up.pdf                                12-Mar-2013 17:12  973K  
[   ] 2-mu-calculus-2up.pdf                                      02-Dec-2012 13:38  419K  
[   ] fixpoints-2up.pdf                                          25-Feb-2012 17:46  248K  
[   ] hennessymilnerbisimulation.pdf                             13-Mar-2012 10:28  173K