“…Monitors are added to prevent deadlocks from occurring (Ezpeleta, Colom, and Martinez 1995;Chu and Xie 1997;Uzam 2002;Li and Zhou 2004;Zhou 2006a, b, 2008a, b;Chao 2007aChao , b, 2008aLi, Zhou, and Jeng 2008;Piroddi, Cordone, and Fumagalli 2009;Li and Hu 2009;Li, Zhu, and Zhou 2009;Li, Yan, and Zhou 2010;Zhao and Li 2010;Shih and Chao 2010;Chen, Li, Khalgui, and Moshabi 2011;Chao, Wu, Chen, and Lee 2011). This affects the original model in particular losing live states.…”