Non-preemptive semantics for data-race-free programs

DOI10.1007/978-3-030-02508-3_27OpenAlexW2895933549MaRDI QIDQ1623168

Hanru Jiang, Siyang Xiao, Hongjin Liang, Xinyu Feng

Publication date: 23 November 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-02508-3_27

zbMATH Keywords

interleaving semanticsdata-race-freedomnon-preemptive semantics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Non-preemptive semantics for data-race-free programs