메뉴 건너뛰기




Volumn 42, Issue 6, 2008, Pages 101-111

Using model checkers in an introductory course on operating systems

Author keywords

Concurrency; Model checkers; Monitors; Mutual exclusion; Operating system course; Semaphores

Indexed keywords

COMPUTER SCIENCE STUDENTS; CONCURRENT PATTERN; FIRST-YEAR; INTRODUCTORY COURSE; MODEL CHECKER; MUTUAL EXCLUSION ALGORITHMS; MUTUAL EXCLUSIONS; OPERATING SYSTEMS; UPPAAL MODEL CHECKERS;

EID: 71649108865     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453775.1453793     Document Type: Conference Paper
Times cited : (9)

References (22)
  • 5
    • 0002692124 scopus 로고
    • Cooperating sequential processes
    • Academic Press
    • E. W. Dijkstra. Cooperating sequential processes. In Programming Languages. Academic Press, 1968.
    • (1968) Programming Languages
    • Dijkstra, E.W.1
  • 6
    • 0015195766 scopus 로고
    • Hierarchical ordering of sequential processes
    • E. W. Dijkstra. Hierarchical ordering of sequential processes. Acta Informatica, 1:115-138, 1971.
    • (1971) Acta Informatica , vol.1 , pp. 115-138
    • Dijkstra, E.W.1
  • 7
    • 84976779102 scopus 로고
    • The humble programmer
    • Turing Award lecture
    • E. W. Dijkstra. The humble programmer. Commun. ACM, 15(10):859-866, 1972. Turing Award lecture.
    • (1972) Commun. ACM , vol.15 , Issue.10 , pp. 859-866
    • Dijkstra, E.W.1
  • 10
    • 0016114085 scopus 로고
    • Monitors: An operating system structuring concept
    • C. Hoare. Monitors: An operating system structuring concept. Commun. ACM, 17(10):549-557, 1974.
    • (1974) Commun. ACM , vol.17 , Issue.10 , pp. 549-557
    • Hoare, C.1
  • 12
    • 22944436717 scopus 로고
    • Comments on a problem in concurrent programming control
    • H. Hyman. Comments on a problem in concurrent programming control. Commun. ACM, 9(1):45, 1966.
    • (1966) Commun. ACM , vol.9 , Issue.1 , pp. 45
    • Hyman, H.1
  • 13
    • 33845233299 scopus 로고    scopus 로고
    • +cal
    • LNCS Springer
    • +cal. In Proceedings DISC 2006, LNCS 4167, pages 151-163. Springer, 2006.
    • (2006) Proceedings DISC 2006 , vol.4167 , pp. 151-163
    • Lamport, L.1
  • 14
    • 84858787930 scopus 로고
    • Experience with processes and monitors in mesa
    • B. W. Lampson and D. D. Redell. Experience with processes and monitors in mesa. In Proceedings SOSP, pages 43-44, 1979.
    • (1979) Proceedings SOSP , pp. 43-44
    • Lampson, B.W.1    Redell, D.D.2
  • 15
    • 0004215089 scopus 로고    scopus 로고
    • Morgan Kaufmann Publishers, San Fransisco, CA
    • N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Fransisco, CA, 1996.
    • (1996) Distributed Algorithms
    • Lynch, N.1
  • 18
    • 0000366742 scopus 로고
    • Myths about the mutual exclusion problem
    • G. Peterson. Myths about the mutual exclusion problem. Inf. Process. Lett., 12(3):115-116, 1981.
    • (1981) Inf. Process. Lett. , vol.12 , Issue.3 , pp. 115-116
    • Peterson, G.1
  • 21
    • 13444302326 scopus 로고    scopus 로고
    • The free lunch is over - A fundamental turn toward concurrency in software
    • H. Sutter. The free lunch is over - a fundamental turn toward concurrency in software. Dr. Dobb's Journal, 30(3), 2005.
    • (2005) Dr. Dobb's Journal , vol.30 , Issue.3
    • Sutter, H.1


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