Authors: TONG BM LEUNG HF

Citation: Bm. Tong et Hf. Leung, DATA-PARALLEL CONCURRENT CONSTRAINT PROGRAMMING, The journal of logic programming, 35(2), 1998, pp. 103-150

Authors: LEUNG HF TING HF

Citation: Hf. Leung et Hf. Ting, AN OPTIMAL ALGORITHM FOR GLOBAL TERMINATION DETECTION IN SHARED-MEMORY ASYNCHRONOUS MULTIPROCESSOR SYSTEMS, IEEE transactions on parallel and distributed systems, 8(5), 1997, pp. 538-543

Authors: LEUNG HF CLARK KL

Citation: Hf. Leung et Kl. Clark, CONSTRAINT SATISFACTION IN DISTRIBUTED CONCURRENT LOGIC PROGRAMMING, Journal of symbolic computation, 21(4-6), 1996, pp. 699-714