Non-preemptive Semantics for Data-Race-Free Programs
Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng.
ICTAC
2018.
Last modified 2023-05-23