메뉴 건너뛰기




Volumn 24, Issue 2, 1998, Pages 149-159

Message logging: Pssimistic, optimistic, causal, and optimal

Author keywords

Checkpoint restart protocols; Message logging; Optimistic protocols; Pessimistic protocols; Resilient processes; Specification of fault tolerance techniques

Indexed keywords

COMPUTER SYSTEM RECOVERY; FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0032000230     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.666828     Document Type: Article
Times cited : (152)

References (22)
  • 14
    • 85047040703 scopus 로고    scopus 로고
    • 18th Ann. Symp. Foundations of Computer Science, pp. 46-57, Nov. 1977.
    • A. Pnueli, "The Temporal Logic of Programs," Proc. 18th Ann. Symp. Foundations of Computer Science, pp. 46-57, Nov. 1977.
    • "The Temporal Logic of Programs," Proc.
    • Pnueli, A.1


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