data race freedom | STAIR: Software Technology and Artificial Intelligence Research Laboratory

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