Alejandro Russo, Andrei Sabelfeld. Securing interaction between threads and the scheduler in the presence of synchronization. Journal of Logic and Algebraic Programming, 78(7):593-618, 2009. [doi]
@article{RussoS09, title = {Securing interaction between threads and the scheduler in the presence of synchronization}, author = {Alejandro Russo and Andrei Sabelfeld}, year = {2009}, doi = {10.1016/j.jlap.2008.09.003}, url = {http://dx.doi.org/10.1016/j.jlap.2008.09.003}, tags = {synchronization}, researchr = {https://researchr.org/publication/RussoS09}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {78}, number = {7}, pages = {593-618}, }