共 50 条
- [43] DISTRIBUTED CONCURRENCY CONTROL IN DATABASE SYSTEMS. Very Large Data Bases, International Conference on Very Large Data Bases, 1980, : 275 - 284
- [44] DEADLOCK DETECTION AND RECOVERY IN DISTRIBUTED SYSTEMS. Systems, computers, controls, 1980, 11 (01): : 18 - 26
- [46] An experiment in the design of distributed programs 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 70 - 76
- [47] VERIFICATION OF DISTRIBUTED SYSTEMS - AN EXPERIMENT FORMAL PROPERTIES OF FINITE AUTOMATA AND APPLICATIONS, 1989, 386 : 249 - 259
- [50] DESIGN SPECTRA FOR DEGRADING SYSTEMS. Journal of structural engineering New York, N.Y., 1985, 111 (12): : 2611 - 2623