Colvin, Robert J. Parallelized sequential composition and hardware weak memory models. (English) Zbl 1522.68147 Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 201-221 (2021). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin}, Lect. Notes Comput. Sci. 13085, 201--221 (2021; Zbl 1522.68147) Full Text: DOI
Smith, Graeme; Winter, Kirsten; Colvin, Robert J. Linearizability on hardware weak memory models. (English) Zbl 1451.68030 Formal Asp. Comput. 32, No. 1, 1-32 (2020). MSC: 68M07 68Q85 PDFBibTeX XMLCite \textit{G. Smith} et al., Formal Asp. Comput. 32, No. 1, 1--32 (2020; Zbl 1451.68030) Full Text: DOI