1988 | ||
---|---|---|
3 | Sol M. Shatz, Wing Kai Cheng: A petri net framework for automated static analysis of Ada tasking behavior. Journal of Systems and Software 8(5): 343-359 (1988) | |
1982 | ||
2 | Wing Kai Cheng, Geneva G. Belford: The Resiliency of Fully Replicated Distributed Databases. Berkeley Workshop 1982: 23-44 | |
1980 | ||
1 | Wing Kai Cheng, Geneva G. Belford: Update Synchronization in Distributed Databases. VLDB 1980: 301-308 |
1 | Geneva G. Belford | [1] [2] |
2 | Sol M. Shatz | [3] |