Document Search Results

from until

Sorting

Found 2 Documents (Results 1–2)

Newest Citations Relevance

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

Cite Review PDF

Full Text: DOI

Krishna, Siddharth; Emmi, Michael; Enea, Constantin; Jovanović, Dejan

Verifying visibility-based weak consistency. (English) Zbl 1508.68064

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 280-307 (2020).

MSC: 68N30 68Q60

Cite Review PDF

Full Text: DOI arXiv

OA License

Filter Results by …

all top 5

Author

Year of Publication

2021 (1)
2020 (1)

Main Field

68-XX (2)