A Necessary and Sufficient Condition for the Liveness of Normal Nets

GuanJun Liu, Changjun Jiang, Daniel Y. Chao. A Necessary and Sufficient Condition for the Liveness of Normal Nets. Comput. J., 54(1):157-163, 2011. [doi]

Abstract

Abstract is missing.