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 -