메뉴 건너뛰기




Volumn 1088, Issue , 1996, Pages 235-246

Drago: An Ada extension to program fault-tolerant distributed applications

Author keywords

Ada; Distributed systems; Fault tolerant systems; Isis; Tools

Indexed keywords


EID: 84957874874     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0013492     Document Type: Conference Paper
Times cited : (11)

References (16)
  • 9
    • 12944301044 scopus 로고
    • Efficient Consensus Protocols for Distributed Systems. Doctoral Dissertation
    • Guerra, F. 1995. Efficient Consensus Protocols for Distributed Systems. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)
    • (1995) Technical University of Madrid. (In Spanish.)
    • Guerra, F.1
  • 11
    • 0025384362 scopus 로고
    • Process Groups and Group Communications: Classification and Requirements
    • Liang, L., Chanson, S.T., and Neufeld, G.W.: Process Groups and Group Communications: Classification and Requirements. IEEE Computer. (February 1990)
    • (1990) IEEE Computer
    • Liang, L.1    Chanson, S.T.2    Neufeld, G.W.3
  • 12
    • 12944259132 scopus 로고
    • Drago: A Language to Program Fault-tolerant and Cooperative Distributed Applications. Doctoral Dissertation
    • Miranda, F. 1994. Drago: A Language to Program Fault-tolerant and Cooperative Distributed Applications. Doctoral Dissertation. Technical University of Madrid. (In Spanish.)
    • (1994) Technical University of Madrid. (In Spanish.)
    • Miranda, F.1
  • 13
    • 0003133883 scopus 로고
    • Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Automata Studies
    • Neumann, J. Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components. Automata Studies. Princeton University Press, 1956. pp. 43-98.
    • (1956) Princeton University Press , pp. 43-98
    • Neumann, J.1
  • 14
    • 0025564050 scopus 로고
    • Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial
    • Schneider, F.B. Implementing Fault-tolerant Services Using the State Machine Approach: A Tutorial. ACM Computing Surveys, 22(4), December 1990.
    • (1990) ACM Computing Surveys , vol.22 , Issue.4
    • Schneider, F.B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.