共 50 条
- [22] Verification of Fault-Tolerant Protocols with Sally NASA FORMAL METHODS, NFM 2018, 2018, 10811 : 113 - 120
- [24] A Sequentialization Procedure for Fault-Tolerant Protocols VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 52 - 71
- [27] Temporal Verification of Fault-Tolerant Protocols METHODS, MODELS AND TOOLS FOR FAULT TOLERANCE, 2009, 5454 : 44 - 56
- [29] Fault-tolerant message routing for multiprocessors PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 714 - 730