Fava, Daniel S.; Steffen, Martin; Stolz, Volker Operational semantics of a weak memory model with channel synchronization. (English) Zbl 1417.68093 J. Log. Algebr. Methods Program. 103, 1-30 (2019). MSC: 68Q55 PDF BibTeX XML Cite \textit{D. S. Fava} et al., J. Log. Algebr. Methods Program. 103, 1--30 (2019; Zbl 1417.68093) Full Text: DOI
Pun, Ka I; Steffen, Martin; Stolz, Volker Effect-polymorphic behaviour inference for deadlock checking. (English) Zbl 1392.68148 J. Log. Algebr. Methods Program. 85, No. 6, 1234-1267 (2016). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 85, No. 6, 1234--1267 (2016; Zbl 1392.68148) Full Text: DOI
Pun, Ka I; Steffen, Martin; Stolz, Volker Deadlock checking by data race detection. (English) Zbl 1371.68199 J. Log. Algebr. Methods Program. 83, No. 5-6, 400-426 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 83, No. 5--6, 400--426 (2014; Zbl 1371.68199) Full Text: DOI
Pun, Ka I; Steffen, Martin; Stolz, Volker Deadlock checking by data race detection. (English) Zbl 1434.68112 Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24–26, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8161, 34-50 (2013). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., Lect. Notes Comput. Sci. 8161, 34--50 (2013; Zbl 1434.68112) Full Text: DOI
Pun, Ka I.; Steffen, Martin; Stolz, Volker Deadlock checking by a behavioral effect system for lock handling. (English) Zbl 1246.68097 J. Log. Algebr. Program. 81, No. 3, 331-354 (2012). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I. Pun} et al., J. Log. Algebr. Program. 81, No. 3, 331--354 (2012; Zbl 1246.68097) Full Text: DOI