共 50 条
- [41] Replica management in object-based systems ENABLING SOCIETY WITH INFORMATION TECHNOLOGY, 2002, : 49 - 58
- [42] Causality of messages in object-based systems 15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 619 - 625
- [43] On a temporal logic for object-based systems FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 305 - 325
- [44] Checkpointing protocol for object-based systems SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 2000, : 137 - 144
- [47] PSRR: A scheme for time-bounded fault tolerance in distributed object-based systems IEEE HIGH-ASSURANCE SYSTEMS ENGINEERING WORKSHOP, PROCEEDINGS, 1997, : 120 - 128
- [48] Verifying fault-tolerant distributed systems using Object-Based Graph Grammars DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 80 - 100