On atomicity in presence of non-atomic writes

DOI10.1007/978-3-662-49674-9_29zbMath1420.68052OpenAlexW2494152628MaRDI QIDQ2272923

Constantin Enea, Azadeh Farzan

Publication date: 17 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-662-49674-9_29

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Fine-grained complexity of safety verification ⋮ On the Complexity of Bounded Context Switching.

This page was built for publication: On atomicity in presence of non-atomic writes