*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 12
*of* 12
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*SubjectEDS*
cache coherence protocols
2
distributed algorithms
2
formal specification
2
model checking
2
verification
2
abstract state machines
1
*more* ...
checking
1
compiler
1
compiler design
1
computer program verification
1
computer programming and software
1
computer science
1
concurrency
1
consistency
1
d.1.3
1
data races
1
dataflow analysis
1
dynamic program analysis
1
f.1.2
1
garbage collection
1
java (computer program language)
1
key words
1
languages
1
memory models
1
methodology
1
mu crl
1
multithreading
1
operational semantics
1
program verification
1
programming languages
1
*less* ...
*Published in*
*Publisher*
assoc computing machinery
2
cambridge univ press
1
elsevier inc.
1
elsevier science inc
1
lipics - leibniz international proceedings in informatics. 29th european conference on object-oriented programming (ecoop 2015)
1
schloss dagstuhl - leibniz-zentrum fuer informatik
1
*more* ...
scientific educational center warsaw
1
*less* ...
*Language*
*CollectionLibrary*
Citeseerx
3
Belarusian State University Of Informatics And Radioelectronics (Bsuir): Repository / Репозитории Бгуир (Белорусскии Государственныи Университет Информатики И Радиоэлектроники)
1
Defense Technical Information Center: Dtic Technical Reports Database
1
Indian Instiute Of Science, Bangalore: Etd@Iisc (Electronic Theses And Disserations)
1
National University Of Singapore: Scholarbank@Nus
1
*adv_search_year*
*Filter*