scientific article; zbMATH DE number 7075871

zbMATH Open1409.68070MaRDI QIDQ4967167FDOQ4967167

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 of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (7)

• Characterizing Transactional Memory Consistency Conditions Using Observational Refinement
• Proving opacity of transactional memory with early release
• Title not available (Why is that?)
• Consistency in nondeterministic storage
• A verified durable transactional mutex lock for persistent x86-TSO
• Title not available (Why is that?)
• Last-use opacity: a strong safety property for transactional memory with prerelease support

   Recommendations

• Transactional memory 👍 👎
• A programming language perspective on transactional memory consistency 👍 👎
• Perspectives on Transactional Memory 👍 👎
• Consistent checkpointing for transaction systems 👍 👎
• Characterizing Transactional Memory Consistency Conditions Using Observational Refinement 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967167)