메뉴 건너뛰기




Volumn 9, Issue 2, 1997, Pages 208-226

A Mechanical Proof of Segall's PIF Algorithm

Author keywords

Asynchrony; Distributed algorithm; Graph; Invariant; Message; Theorem prover

Indexed keywords


EID: 0013078711     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01211619     Document Type: Article
Times cited : (11)

References (13)
  • 3
    • 0029178422 scopus 로고
    • Mechanical verification of distributed algorithms in higher-order logic
    • Ching-Tsun Chou: Mechanical verification of distributed algorithms in higher-order logic. The Computer Journal, 38: 152-161 (1995).
    • (1995) The Computer Journal , vol.38 , pp. 152-161
    • Ching-Tsun, C.1
  • 7
    • 0026818736 scopus 로고
    • Receptive process theory
    • Josephs, M. B.: Receptive process theory. Acta Informatica 29 (1992) 17-31.
    • (1992) Acta Informatica , vol.29 , pp. 17-31
    • Josephs, M.B.1
  • 8
    • 85028753334 scopus 로고
    • Multivalued possibilities mappings
    • J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.): LNCS 430, Springer
    • Lynch, N. A.: Multivalued possibilities mappings. In J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.): Stepwise Refinement of Distributed Systems. LNCS 430, Springer. 1990, pp. 519-543.
    • (1990) Stepwise Refinement of Distributed Systems , pp. 519-543
    • Lynch, N.A.1
  • 9
    • 0017173886 scopus 로고
    • An axiomatic proof technique for parallel programs
    • Owicki, S. and Gries, D.: An axiomatic proof technique for parallel programs. Acta Informatica 6 1976 319-340,
    • (1976) Acta Informatica , vol.6 , pp. 319-340
    • Owicki, S.1    Gries, D.2


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