1. Communications in Computer and Information Science;P Carvalho Gomes de,2017
2. Craig, T.: Building fifo and priorityqueuing spin locks from atomic swap. Technical Report TR 93-02-02, University of Washington, February 1993. (ftp tr/1993
$$\ldots $$
(1993)
3. D’Osualdo, E., Farzan, A., Gardner, P., Sutherland, J.: Tada live: compositional reasoning for termination of fine-grained concurrent programs. arXiv preprint
arXiv:1901.05750
(2019)
4. Gomes, P.d.C., Gurov, D., Huisman, M., Artho, C.: Specification and verification of synchronization with condition variables. Sci. Comput. Program. 163, 174–189 (2018)
5. Hamin, J., Jacobs, B.: Modular verification of termination and execution time bounds using separation logic. In: 2016 IEEE 17th International Conference on Information Reuse and Integration (IRI), pp. 110–117. IEEE (2016)