| 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