A Necessary and Sufficient Condition for the Liveness of Normal Nets. - Liu, GuanJun; Jiang, ChangJun; Chao, Daniel Y. (Computer Journal, 2011)