Modeling VP operation: the Diwali Festival Problem. - Rushikesh K. Joshi; Subash Rajaa (ACM SIGOPS Oper. Syst. Rev., 2005)