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
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1987年 / 8卷 / 01期
关键词：
D O I：
10.1016/0167-6423(87)90003-7
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：43 / 67
页数：25
相关论文
共 9 条
  • [1] A Proof System for Communicating Sequential Processes
    Apt, Krzysztof R.
    Francez, Nissim
    De Roever, Willem P.
    [J]. ACM Transactions on Programming Languages and Systems, 1980, 2 (03): : 359 - 385
  • [2] COMMUNICATING SEQUENTIAL PROCESSES
    HOARE, CAR
    [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 666 - 677
  • [3] Joseph M., 1983, Information Processing 83. Proceedings of the IFIP 9th World Computer Congress, P481
  • [4] JOSEPH M, 1982, 2ND FST TCS C BANG
  • [5] LAMPSON BW, 1981, LECT NOTES COMPUT SC, V105, P246
  • [6] REACHING AGREEMENT IN THE PRESENCE OF FAULTS
    PEASE, M
    SHOSTAK, R
    LAMPORT, L
    [J]. JOURNAL OF THE ACM, 1980, 27 (02) : 228 - 234
  • [7] FAIL-STOP PROCESSORS - AN APPROACH TO DESIGNING FAULT-TOLERANT COMPUTING SYSTEMS
    SCHLICHTING, RD
    SCHNEIDER, FB
    [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1983, 1 (03): : 222 - 238
  • [8] CORRECTNESS PROOFS OF CSP PROGRAMS
    SOUNDARARAJAN, N
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 24 (02) : 131 - 141
  • [9] SOUNDARARAJAN N, IN PRESS BIT
1