共 50 条
- [31] Object-based subcontracting for parallel programming on loosely-coupled distributed systems JOURNAL OF PROGRAMMING LANGUAGES, 1996, 4 (03): : 169 - 183
- [32] Group protocol for object-based systems FOURTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2001, : 145 - 152
- [33] Replica management in object-based systems 15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 367 - 372
- [34] Replica management in object-based systems ENABLING SOCIETY WITH INFORMATION TECHNOLOGY, 2002, : 49 - 58
- [35] Causality of messages in object-based systems 15TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING, PROCEEDINGS, 2001, : 619 - 625
- [36] Checkpointing protocol for object-based systems SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 2000, : 137 - 144
- [37] On a temporal logic for object-based systems FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS IV, 2000, 49 : 305 - 325
- [39] FORMAL METHODS - FROM OBJECT-BASED TO OBJECT-ORIENTED SIGPLAN NOTICES, 1994, 29 (07): : 29 - 38
- [40] Verifying fault-tolerant distributed systems using Object-Based Graph Grammars DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 80 - 100