메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 4421 LNCS, Issue , 2007, Pages 331-346
The Java memory model: Operationally, denotationally, axiomatically
Author keywords

[No Author keywords available]
Indexed keywords

DATA ACQUISITION; MODEL CHECKING; PROBLEM SOLVING; SPECIFICATION LANGUAGES; STORAGE ALLOCATION (COMPUTER);
EID: 37149040505     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71316-6_23     Document Type: Conference Paper
Times cited : (42)
References (12)
  • 1
    • 85034211340 scopus 로고    scopus 로고
    • th Int. Coll. Automata, Languages and Programming (ICALP'82). 140 of Lect. Notes Comp. Sci., Springer, Berlin (1982) 561-576
    • th Int. Coll. Automata, Languages and Programming (ICALP'82). Volume 140 of Lect. Notes Comp. Sci., Springer, Berlin (1982) 561-576
  • 2
    • 49149133619 scopus 로고    scopus 로고
    • Nielsen, M., Plotkin, G.D., Winskel, G.: Petri Nets, Event Structures and Domains: Part I. Theo. Comp. Sci. 13 (1981) 85-108
    • Nielsen, M., Plotkin, G.D., Winskel, G.: Petri Nets, Event Structures and Domains: Part I. Theo. Comp. Sci. 13 (1981) 85-108
  • 3
    • 0035584844 scopus 로고    scopus 로고
    • Refinement of Actions and Equivalence Notions for Concurrent Systems
    • van Glabbeek, R.J., Goltz, U.: Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Informatica 37 (2001) 229-327
    • (2001) Acta Informatica , vol.37 , pp. 229-327
    • van Glabbeek, R.J.1    Goltz, U.2
  • 4
    • 85022794780 scopus 로고    scopus 로고
    • Winskel, G.: Event Structures. In Brauer, W., Reisig, W., Rozenberg, G., eds.: Advances in Petri Nets 1986, Part II. Number 255 in Lect. Notes Comp. Sei., Springer, Berlin (1987)
    • Winskel, G.: Event Structures. In Brauer, W., Reisig, W., Rozenberg, G., eds.: Advances in Petri Nets 1986, Part II. Number 255 in Lect. Notes Comp. Sei., Springer, Berlin (1987)
  • 6
    • 34250029588 scopus 로고    scopus 로고
    • th Int. Wsh. Computer Science Logic (CSL'02). 2471 of Lect. Notes Comp. Sei., Springer, Berlin (2002) 200-215
    • th Int. Wsh. Computer Science Logic (CSL'02). Volume 2471 of Lect. Notes Comp. Sei., Springer, Berlin (2002) 200-215
  • 7
    • 26844493661 scopus 로고    scopus 로고
    • van Glabbeek, R.J., Plotkin, G.D.: Event Structures for Resolvable Conflicts. In Fiala, J., Koubek, V., Kratochvíl, J., eds.: Proc. 29th Int. Symp. Mathematical Foundation of Computer Science (MFCS'04). 3153 of Lect. Notes Comp. Sei., Springer, Berlin (2004) 550-561
    • van Glabbeek, R.J., Plotkin, G.D.: Event Structures for Resolvable Conflicts. In Fiala, J., Koubek, V., Kratochvíl, J., eds.: Proc. 29th Int. Symp. Mathematical Foundation of Computer Science (MFCS'04). Volume 3153 of Lect. Notes Comp. Sei., Springer, Berlin (2004) 550-561
  • 10
    • 37149027182 scopus 로고    scopus 로고
    • Winskel, G., Nielsen, M.: Models of Concurrency. In Abramsky, S., Gabbay, D.M., Maibaum, T.S.E., eds.: Handbook of Logic in Computer Science. 4: Semantic Modelling. Oxford University Press, Oxford (1995) 1-148
    • Winskel, G., Nielsen, M.: Models of Concurrency. In Abramsky, S., Gabbay, D.M., Maibaum, T.S.E., eds.: Handbook of Logic in Computer Science. Vol. 4: Semantic Modelling. Oxford University Press, Oxford (1995) 1-148
  • 12
    • 85088177741 scopus 로고    scopus 로고
    • 062/28).
    • 062/28).

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