共 50 条
- [21] Abstractions for fault-tolerant distributed system verification THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2004, 3223 : 257 - 270
- [22] A Fault-Tolerant Programming Model for Distributed Interactive Applications PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (OOPSLA):
- [23] An Ada library to program fault-tolerant distributed applications RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97, 1997, 1251 : 230 - 243
- [25] Fault-tolerant Distributed AAA Architecture Supporting Connectivity Disruption 2022 THIRTEENTH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN), 2022, : 405 - 407
- [26] Metaobject architecture for fault-tolerant distributed systems: The FRIENDS approach IEEE Trans Comput, 1 (78-95):
- [28] Design of a distributed fault-tolerant computer architecture applied to the traffic control system IVMS SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 341 - 344
- [30] Fault-Tolerant Distributed Reconnaissance MILITARY COMMUNICATIONS CONFERENCE, 2010 (MILCOM 2010), 2010, : 1812 - 1817