scientific article; zbMATH DE number 7075871
From MaRDI portal
Publication:4967167
zbMath1409.68070MaRDI QIDQ4967167
Eleni Kanellou, Dmytro Dziuma, Panagiota Fatourou
Publication date: 3 July 2019
Full work available at URL: http://bulletin.eatcs.org/index.php/beatcs/article/view/288/270
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
Related Items (2)
Last-use opacity: a strong safety property for transactional memory with prerelease support ⋮ Proving opacity of transactional memory with early release
This page was built for publication:
