| |
| 1994 | ||
|---|---|---|
| 3 | Jiawang Wei: Correctness of Fixpoint Transformations. Theor. Comput. Sci. 129(1): 123-142 (1994) | |
| 1993 | ||
| 2 | Jiawang Wei: Convergence of Asynchronous Iterations of Least Fixed Points. PARLE 1993: 688-691 | |
| 1 | Jiawang Wei: Parallel Asynchronous Iterations of Least Fixed Points. Parallel Computing 19(8): 887-895 (1993) | |