메뉴 건너뛰기
ACM Transactions on Computer Systems (TOCS)
Volumn 5, Issue 1, 1987, Pages 1-11
A fast mutual exclusion algorithm
Author keywords

[No Author keywords available]
Indexed keywords

COMPUTER PROGRAMMING - ALGORITHMS;
EID: 0023288130     PISSN: 07342071     EISSN: 15577333     Source Type: Journal    
DOI: 10.1145/7351.7352     Document Type: Article
Times cited : (318)
References (9)
  • 1
    • 0012841450 scopus 로고
    • Additional comments on a problem in concurrent programming control
    • Mar.
    • deBruijn, N. G. Additional comments on a problem in concurrent programming control. Commun. ACM 8, 9 (Mar. 1967), 137–138.
    • (1967) Commun. ACM , vol.8 , Issue.9 , pp. 137-138
    • deBruijn, N.G.1
  • 2
    • 84945709358 scopus 로고
    • Solution of a problem in concurrent programming control
    • Sept.
    • Dijkstra, E. W. Solution of a problem in concurrent programming control. Commun. ACM 8, 9 (Sept. 1965), 569.
    • (1965) Commun. ACM , vol.8 , Issue.9 , pp. 569
    • Dijkstra, E.W.1
  • 3
    • 84976815093 scopus 로고
    • Further comments on Dijkstra’s concurrent programming control problem
    • Nov.
    • Eisenberg, M. A., and McGuire, M. R. Further comments on Dijkstra’s concurrent programming control problem. Commun. ACM 15, 11 (Nov. 1972), 999.
    • (1972) Commun. ACM , vol.15 , Issue.11 , pp. 999
    • Eisenberg, M.A.1    McGuire, M.R.2
  • 4
    • 0002780749 scopus 로고
    • Assigning meanings to programs
    • American Mathematical Society, Providence, R.I.
    • Floyd, R. W. Assigning meanings to programs. In Proceedings of the Symposium on Applied Math., vol. 19 (1967), American Mathematical Society, Providence, R.I., pp. 19–32.
    • (1967) Proceedings of the Symposium on Applied Math. , vol.19 , pp. 19-32
    • Floyd, R.W.1
  • 5
    • 84976671125 scopus 로고
    • Experience using multiprocessor systems—A status report
    • June
    • Jones, A. K., and Schwarz, P. Experience using multiprocessor systems—A status report. ACM Comput. Surv. 12, 2 (June 1980), 121–165.
    • (1980) ACM Comput. Surv. , vol.12 , Issue.2 , pp. 121-165
    • Jones, A.K.1    Schwarz, P.2
  • 6
    • 0000231261 scopus 로고
    • Additional commments on a problem in concurrent program control
    • May
    • Knuth, D. E. Additional commments on a problem in concurrent program control. Commun. ACM 9, 5 (May 1966), 321.
    • (1966) Commun. ACM , vol.9 , Issue.5 , pp. 321
    • Knuth, D.E.1
  • 7
    • 0017472779 scopus 로고
    • Proving the correctness of multiprocess programs
    • Mar.
    • Lamport, L. Proving the correctness of multiprocess programs. IEEE Trans. Soflw. Eng. SE-3, 2 (Mar. 1977), 125–143.
    • (1977) IEEE Trans. Soflw. Eng. , vol.SE-3 , Issue.2 , pp. 125-143
    • Lamport, L.1
  • 8
    • 0017173886 scopus 로고
    • An axiomatic proof technique for parallel programs
    • Owicki, S., and Gries, D. An axiomatic proof technique for parallel programs. Acta Inf. 6, 4 (1976), 319–340.
    • (1976) Acta Inf. , vol.6 , Issue.4 , pp. 319-340
    • Owicki, S.1    Gries, D.2
  • 9
    • 84976730945 scopus 로고
    • Proving liveness properties of concurrent programs
    • July
    • Owicki, S., and Lamport, L. Proving liveness properties of concurrent programs. ACM Thins. Program. Lang. Syst 4, 3 (July 1982), 455–495.
    • (1982) ACM Thins. Program. Lang. Syst , vol.4 , Issue.3 , pp. 455-495
    • Owicki, S.1    Lamport, L.2

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