×

Found 13 Documents (Results 1–13)

On the correctness problem for serializability. (English) Zbl 07500637

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 47-64 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Defining and verifying durable opacity: correctness for persistent software transactional memory. (English) Zbl 1511.68072

Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 39-58 (2020).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying opacity of a transactional mutex lock. (English) Zbl 1427.68190

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 161-177 (2015).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software