Wing Kai Cheng

Publication Activity (10 Years)

Years Active: 1980-1988
Publications (10 Years): 0

Publications

Sol M. Shatz, Wing Kai Cheng
A petri net framework for automated static analysis of Ada tasking behavior. J. Syst. Softw. 8 (5) (1988)
Wing Kai Cheng, Geneva G. Belford
The Resiliency of Fully Replicated Distributed Databases. Berkeley Workshop (1982)
Wing Kai Cheng, Geneva G. Belford
Update Synchronization in Distributed Databases. VLDB (1980)