Date of Award | 31 May 2013 |
---|---|
Original language | English |
Supervisor | George H.L. Fletcher (Supervisor 1) & Y. Luo (Supervisor 2) |
MapReduce based algorithms for localized bisimulation
Student thesis: Master