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