An optimistic PDES protocol over dynamic cloud - Muhammad Umar Khan (Islamabad NUST-SEECS, 2016)