Update Synchronization in Distributed Databases. - Wing Kai Cheng; Geneva G. Belford (VLDB, 1980)

Performance Analysis of Update Synchronization Algorithms for Distributed Databases - Wing Kai Cheng (1981)

The Resiliency of Fully Replicated Distributed Databases. - Wing Kai Cheng; Geneva G. Belford (Berkeley Workshop, 1982)

A petri net framework for automated static analysis of Ada tasking behavior. - Sol M. Shatz; Wing Kai Cheng (J. Syst. Softw., 1988)