PROOF RULES FOR FAULT TOLERANT DISTRIBUTED PROGRAMS

被引：3

作者：

JOSEPH, M

MOITRA, A

SOUNDARARAJAN, N

机构：

[1] TATA INST FUNDAMENTAL RES,COMP SCI GRP,BOMBAY 400005,INDIA

[2] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853

[3] OHIO STATE UNIV,DEPT COMP & INFORMAT SCI,COLUMBUS,OH 43210

来源：

关键词：

D O I：

10.1016/0167-6423(87)90003-7

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：43 / 67

页数：25

共 50 条

[31] UNDERSTANDING FAULT-TOLERANT DISTRIBUTED SYSTEMS
CRISTIAN, F
COMMUNICATIONS OF THE ACM, 1991, 34 (02) : 56 - 78
[32] A THEORETICIANS VIEW OF FAULT TOLERANT DISTRIBUTED COMPUTING
FISCHER, MJ
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 448 : 1 - 9
[33] Recovery in fault-tolerant distributed microcontrollers
Rennels, DA
Hwang, R
INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, : 475 - 480
[34] Fault-tolerant Distributed Systems in Hardware
Schmid, Stefan
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2015, 2015 (116): : 111 - 153
[35] Fault-Tolerant Distributed Transactions on Blockchain
Jagadish, H.V.
Tamer Özsu, M.
1600, Morgan and Claypool Publishers (16): : 1 - 268
[36] Developing fault-tolerant distributed loops
Farrag, A. A.
INFORMATION PROCESSING LETTERS, 2010, 111 (02) : 97 - 101
[37] WORKSHOP ON DISTRIBUTED FAULT-TOLERANT COMPUTERS
GOLDBERG, J
COMPUTER, 1977, 10 (03) : 51 - 52
[38] Fault tolerant system by using distributed RTOS
Ge, Yingan
Liu, Songqiang
Wang, Yanfang
Hedianzixue Yu Tance Jishu/Nuclear Electronics & Detection Technology, 1999, 19 (05): : 347 - 351
[39] Synthesis of Fault-Tolerant Distributed Systems
Dimitrova, Rayna
Finkbeiner, Bernd
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 321 - 336
[40] Adaptive distributed and fault-tolerant systems
Hiltunen, MA
Schlichting, RD
COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1996, 11 (05): : 275 - 285