Research
Events
Projects
Blog
Works
About Us
Language
English
日本語
tag: data race freedom
2018.06.17
Local Data Race Freedom with Non-Multi-Copy Atomicity
Local Data Race Freedom with Non-Multi-Copy Atomicity
memory consistency models
,
model checking
,
bisimulation
,
data race freedom
,
operational semantics