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
相关论文
共 50 条
  • [1] A CLASS OF INHERENTLY FAULT TOLERANT DISTRIBUTED PROGRAMS
    BASTANI, FB
    YEN, IL
    CHEN, IR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (10) : 1432 - 1442
  • [2] SYCRAFT: A tool for synthesizing distributed fault-tolerant programs
    Bonakdarpour, Borzoo
    Kulkarni, Sandeep S.
    CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 167 - 171
  • [3] Symbolic synthesis of masking fault-tolerant distributed programs
    Borzoo Bonakdarpour
    Sandeep S. Kulkarni
    Fuad Abujarad
    Distributed Computing, 2012, 25 : 83 - 108
  • [4] Symbolic synthesis of masking fault-tolerant distributed programs
    Bonakdarpour, Borzoo
    Kulkarni, Sandeep S.
    Abujarad, Fuad
    DISTRIBUTED COMPUTING, 2012, 25 (01) : 83 - 108
  • [5] On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
    Kuhnrich, Morten
    Nestmann, Uwe
    FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 198 - +
  • [6] Distributed synthesis of fault-tolerant programs in the high atomicity model
    Bonakdarpour, Borzoo
    Kulkarni, Sandeep S.
    Abujarad, Fuad
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4838 : 21 - +
  • [7] FAULT-TOLERANT PROGRAMS
    BELLI, F
    JEDRZEJOWICZ, P
    ANGEWANDTE INFORMATIK, 1988, 30 (12): : 533 - 538
  • [8] A TRACE-BASED COMPOSITIONAL PROOF THEORY FOR FAULT-TOLERANT DISTRIBUTED SYSTEMS
    SCHEPERS, H
    HOOMAN, J
    THEORETICAL COMPUTER SCIENCE, 1994, 128 (1-2) : 127 - 157
  • [9] Proof rules for the correctness of quantum programs
    Feng, Yuan
    Duan, Runyao
    Ji, Zhengfeng
    Ying, Mingsheng
    THEORETICAL COMPUTER SCIENCE, 2007, 386 (1-2) : 151 - 166
  • [10] A hypermedia distributed application for monitoring and fault-injection in embedded fault-tolerant parallel programs
    De Florio, V
    Deconinck, G
    Truyens, M
    Rossel, W
    Lauwereins, R
    PROCEEDINGS OF THE SIXTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING - PDP '98, 1998, : 349 - 355
12345